AlphaPeu commune
nasa/ogma
Generator of runtime monitors for flight and robotics applications.
- Propriétaire
- nasa (organisation)
- Étoiles
- Étoiles : 588
- Forks
- Forks : 62
- Langage
- Haskell
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsrosros2
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de nasa
Les 72 dépôts de nasa- nasa/openmctÉtoiles : 13 199JavaScriptStable
- nasa/fprimeÉtoiles : 11 855C++Stable
- nasa/NASA-3D-ResourcesÉtoiles : 3 841RC
- nasa/spacewasmÉtoiles : 1 621RustBêta
- nasa/cFSÉtoiles : 1 553CBêta
- nasa/astrobeeÉtoiles : 1 436C++Bêta
D’autres dépôts Haskell
Tous les dépôts Haskell- z0w0/helmÉtoiles : 597HaskellAlpha
- aviaviavi/legionÉtoiles : 597HaskellAlpha
- kowainik/stanÉtoiles : 596HaskellAlpha
- tweag/HaskellRÉtoiles : 587HaskellAlpha
- mattgreen/hythonÉtoiles : 581HaskellAlpha
- mihaimaruseac/hindentÉtoiles : 581HaskellAlpha