AlphaUncommon
nasa/ogma
Generator of runtime monitors for flight and robotics applications.
- Owner
- nasa (organization)
- Stars
- Stars: 588
- Forks
- Forks: 62
- Language
- Haskell
- License
- Apache-2.0
- Created
- 2021
- Topics
- assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsrosros2
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by nasa
All 72 repos by nasa- nasa/openmctStars: 13,200JavaScriptStable
- nasa/fprimeStars: 11,856C++Stable
- nasa/NASA-3D-ResourcesStars: 3,847RC
- nasa/spacewasmStars: 1,622RustBeta
- nasa/cFSStars: 1,558CBeta
- nasa/astrobeeStars: 1,436C++Beta
Nearby in Haskell
All Haskell repos- z0w0/helmStars: 597HaskellAlpha
- aviaviavi/legionStars: 597HaskellAlpha
- kowainik/stanStars: 596HaskellAlpha
- tweag/HaskellRStars: 587HaskellAlpha
- mattgreen/hythonStars: 581HaskellAlpha
- mihaimaruseac/hindentStars: 581HaskellAlpha