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

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
Embedded Systems Robotics flight-software runtime-verification rv

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • ogma

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

  • fprime

    F´ - A flight software and embedded systems framework

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

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • ROS

    Core ROS packages

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

  • cFS

    The Core Flight System (cFS)

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

  • fret

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

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

  • copilot

    A stream-based runtime-verification framework for generating hard real-time C code.

  • bnfc

    BNF Converter

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts