ANN: NASA's ogma

[Ivan Perez]

Dear all

I'm writing to let you know that we've released a first version of Ogma, a haskell tool to convert high level requirement specifications into hard-real time C99 monitors.

Ogma makes heavy use of BNFC. You'll find a few grammars in the repo, and we expect to extend it to support more languages (in the front-end and the back-end).

https://github.com/nasa/ogma

A more detailed announcement is at:

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

I wanted to thank the BNFC team for accommodations made with licensing that allowed us to release this tool, and everyone in the forum for answering questions I've been posting for over a year now.

All the best,

Ivan