Second project should be a Library for rigorous verification of non-linear arithmetic, but was empty, save for a readme and license: https://github.com/nasa/Kodiak

Or, is that a punny statement about non-linear arithmetic?