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

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

Our great sponsors
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • SonarQube - Static code analysis for 29 languages.
  • Revelo Payroll - Free Global Payroll designed for tech teams
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • 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

  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  • 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

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

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