ogma

Haskell ★ 566 updated 3d ago

Generator of runtime monitors for flight and robotics applications.

No plain-English explanation yet — one is being written right now. Check back in a minute.