Top New Trends Comments Past Ask Show Jobs

Release of NASA's Ogma, a runtime verification language for hard-realtime C · HackerTrans

Release of NASA's Ogma, a runtime verification language for hard-realtime C(old.reddit.com)

6 points·by one-punch·5 lat temu·0 comments

Release of NASA's Ogma, a runtime verification language for hard-realtime C

https://old.reddit.com/r/haskell/comments/r80djm/ann_nasas_ogma/

0 comments

—