[ANN] NASA's Ogma 1.0.7

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

Our great sponsors
  • CodiumAI - TestGPT | Generating meaningful tests for busy devs
  • SonarLint - Clean code begins in your IDE with SonarLint
  • ONLYOFFICE ONLYOFFICE Docs — document collaboration in your environment
  • InfluxDB - Access the most powerful time series database as a service
  • ogma

    For more details, including videos of monitors being generated and flown in simulators, see: https://github.com/nasa/ogma

  • copilot

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

  • CodiumAI

    TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.

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