[tome]

> 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_o...