4 ms·
> Ogma, a new open-source NASA tool, written in Haskell, to generate hard-realtime C runtime monitoring applications from high-level specifications https://www
by tome 5y ago
> Ogma, a new open-source NASA tool, written in Haskell, to generate hard-realtime C runtime monitoring applications from high-level specifications
https://www.reddit.com/r/haskell/comments/r80djm/ann_nasas_ogma/ https://www.reddit.com/r/haskell/comments/r80djm/ann_nasas_o...