PrototypeCommune
nasa/Kodiak
Library for rigorous verification of non-linear arithmetic
- Propriétaire
- nasa (organisation)
- Étoiles
- Étoiles : 117
- Forks
- Forks : 34
- Langage
- C++
- Licence
- Aucune
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de nasa
Les 72 dépôts de nasa- nasa/openmctÉtoiles : 13 200JavaScriptStable
- nasa/fprimeÉtoiles : 11 856C++Stable
- nasa/NASA-3D-ResourcesÉtoiles : 3 847RC
- nasa/spacewasmÉtoiles : 1 622RustBêta
- nasa/cFSÉtoiles : 1 558CBêta
- nasa/astrobeeÉtoiles : 1 436C++Bêta
D’autres dépôts C++
Tous les dépôts C++- Tuth/ms2000r-emuÉtoiles : 117C++Prototype
- Sirhalo23/RidgeRacer6-RecompilationÉtoiles : 117C++Prototype
- badcompany94-rcmp/project-tandemÉtoiles : 117C++Prototype
- thomasmoelhave/tpieÉtoiles : 117C++Prototype
- vranki/ExtPlane-PanelÉtoiles : 117C++Prototype
- mblondel/svmlight-loaderÉtoiles : 117C++Prototype