[ANN] NASA's Ogma -- now with FPrime support

1. ogma

   1 13 564 9.6 Haskell

   Generator of runtime monitors for flight and robotics applications.

   

   The changelog is available at: https://github.com/nasa/ogma/releases/tag/v1.0.8

2. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

3. fprime

   2 74 10,963 9.7 C++

   F´ - A flight software and embedded systems framework

   

   [1] https://github.com/nasa/fprime

4. ROS

   3 86 3,048 2.6 Python

   Discontinued Core ROS packages

   

   [3] https://www.ros.org/

5. cFS

   4 10 1,347 6.5 C

   The Core Flight System (cFS)

   

   [4] https://github.com/nasa/cFS

6. fret

   5 6 440 8.3 JavaScript

   A framework for the elicitation, specification, formalization and analysis of requirements.

   

   [5] https://github.com/NASA-SW-VnV/fret

7. copilot

   6 19 830 9.2 Haskell

   A stream-based runtime-verification framework for generating hard real-time C code. (by Copilot-Language)

   

8. bnfc

   7 2 624 7.9 TeX

   BNF Converter

   

   [7] https://github.com/BNFC/bnfc

Suggest a related project