[ANN] NASA's Ogma 1.0.9

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

Our great sponsors
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • Revelo Payroll - Free Global Payroll designed for tech teams
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • Sonar - Write Clean Python Code. Always.
Our great sponsors

  • ROS

    Core ROS packages

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

  • copilot

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

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

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