5 ms·
Um, the first one doesn't seem to have any code in it ... or documentation ... or anything ... https://github.com/nasa/Kodiak https://github.com/nasa/Kodiak
by tlarkworthy 13y ago
Um, the first one doesn't seem to have any code in it ... or documentation ... or anything ...
https://github.com/nasa/Kodiak https://github.com/nasa/Kodiak
- ForHackernews 13y ago> Library for rigurous verification of non-linear arithmetic Very rigurous
- draz 13y agoall the elephants in the room are pink
- sliverstorm 13y agoYes, that's right, let's mock people for typos in code that was never really intended for public consumption. I'm sure that will make them want to release more of it in the future.
- jcchin41 13y agoMany projects at NASA are just starting to ramp up open-source efforts, and it can be very challenging to publicly release aerospace toolsets. Give it some time to build up momentum.