This is stars and forks stats for /nasa/ogma repository. As of 03 May, 2024 this repository has 291 stars and 21 forks.
OGMA Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. Features Translating requirements defined in NASA's requirements elicitation tool FRET into corresponding monitors in Copilot. Generating NASA Core Flight System applications that use Copilot for monitoring data received from the message bus. Generating message handlers for NASA Core Flight System applications...
OGMA Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. Features Translating requirements defined in NASA's requirements elicitation tool FRET into corresponding monitors in Copilot. Generating NASA Core Flight System applications that use Copilot for monitoring data received from the message bus. Generating message handlers for NASA Core Flight System applications...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
utdemir/nix-tree | HaskellNixShell | 457 | 0 | 9 | 0 |
YoshiCrafter29/CodenameEngine | HaxeOther | 145 | 0 | 78 | 0 |
anuragtiwarime/fsjs2 | HTMLCSS | 61 | 0 | 75 | 0 |
nyoom-engineering/nyoom.nvim | FennelShellOther | 1.1k | +8 | 75 | 0 |
Spark-Rom/build_make | MakefilePythonGo | 1 | 0 | 14 | 0 |
jwplayer/JWPlayerTVKit-cocoapod | Objective-COther | 0 | 0 | 0 | 0 |
Shawn-Inspur/Yuan-1.0 | PythonC++Cuda | 581 | 0 | 123 | 0 |
plokhotnyuk/jsoniter-scala | ScalaOther | 676 | 0 | 86 | 0 |
Azzrox/Antropy | C#ShaderLabHLSL | 2 | 0 | 5 | 0 |
archlinuxcn/repo | ShellPythonRoff | 1.4k | 0 | 285 | 0 |