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

• ogma

  6 291 0.0 Haskell

  

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

• fprime

  11 9,538 0.0 C++

  F' - A flight software and embedded systems framework

  

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

• InfluxDB

  www.influxdata.com

  sponsored

  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

  30 2,451 0.0 Python

  Core ROS packages

  

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

• cFS

  4 569 0.0 CMake

  The Core Flight System (cFS)

  

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

• fret

  2 217 0.0 JavaScript

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

  

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

• copilot

  7 515 0.0 Haskell

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

  

• bnfc

  1 542 10.0 TeX

  BNF Converter

  

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

• SonarQube

  www.sonarqube.org

  sponsored

  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.

  

Suggest a related project