Sounds cool but hasn't been updated in months. Copyright still has 2017 for end date. Sort of implies project is no longer maintained.
I don't know about this project, but unmaintained copyright years has been the case in almost every project that I've taken the time to look at (and that has them). Unless a project has an active legal team, I wouldn't use such dates to mean anything (for better or worse).
So they started at probably one of the worst times to start a tech company (right at the dot-com bust) and are still around.
That says nothing about whether Ivory will get any traction, but at least there's an apparently stable company behind it.
Have a look at the pull requests and issues, I'm wondering if this may be an internal project from GaloisInc but not actively maintained externally.