PrototypeCommon
nasa/Kodiak
Library for rigorous verification of non-linear arithmetic
- Owner
- nasa (organization)
- Stars
- Stars: 117
- Forks
- Forks: 34
- Language
- C++
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by nasa
All 72 repos by nasa- nasa/openmctStars: 13,201JavaScriptStable
- nasa/fprimeStars: 11,856C++Stable
- nasa/NASA-3D-ResourcesStars: 3,848RC
- nasa/spacewasmStars: 1,623RustBeta
- nasa/cFSStars: 1,558CBeta
- nasa/astrobeeStars: 1,436C++Beta
Nearby in C++
All C++ repos- taovietducofficial/DSA-BeginnerStars: 117C++Prototype
- pablocpas/OpenCMR2Stars: 117C++Prototype
- gameboy829/PS5-LZ4-Game-CompressorStars: 117C++Prototype
- thomasmoelhave/tpieStars: 117C++Prototype
- vranki/ExtPlane-PanelStars: 117C++Prototype
- mblondel/svmlight-loaderStars: 117C++Prototype