nasa/ogma

Generator of runtime monitors for flight and robotics applications.

GitHub repository with 565 stars and 52 forks.

Language: Haskell

Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime, robot-operating-system, robotics, ros, ros2

Open provider repository

24h trend summary

Trending score 0.62, activity score 0.94, stars gained +2, forks gained +1.

Latest metric snapshot

2026-06-05: 565 stars and 52 forks.

Similar repositories

  1. 1. nasa/ogma

    Generator of runtime monitors for flight and robotics applications.

    GitHub repository with 565 stars and 52 forks.

    Trending score: 0.62; stars gained: +2; forks gained: +1.

    Language: Haskell

    Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime

Trending in Haskell

  1. 1. garnix-io/garnix-ci

    CI and hosting for nix-based, flakified github repos

    GitHub repository with 394 stars and 40 forks.

    Trending score: 2.05; stars gained: +10; forks gained: +1.

    Language: Haskell

  2. 2. monoscope-tech/monoscope

    Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

    GitHub repository with 1,021 stars and 40 forks.

    Trending score: 1.37; stars gained: +19; forks gained: +2.

    Language: Haskell

  3. 3. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,520 stars and 386 forks.

    Trending score: 1.03; stars gained: +5; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  4. 4. hadolint/hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    GitHub repository with 12,181 stars and 493 forks.

    Trending score: 0.69; stars gained: +4; forks gained: +0.

    Language: Haskell

  5. 5. nasa/ogma

    Generator of runtime monitors for flight and robotics applications.

    GitHub repository with 565 stars and 52 forks.

    Trending score: 0.62; stars gained: +2; forks gained: +1.

    Language: Haskell

    Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime

  6. 6. DataHaskell/dataframe

    A fast, safe, and intuitive DataFrame library.

    GitHub repository with 249 stars and 46 forks.

    Trending score: 0.60; stars gained: +3; forks gained: +0.

    Language: Haskell

    Topics: dataframe, exploratory-data-analysis, functional-programming

Trending topic: assurance

  1. 1. nasa/ogma

    Generator of runtime monitors for flight and robotics applications.

    GitHub repository with 565 stars and 52 forks.

    Trending score: 0.62; stars gained: +2; forks gained: +1.

    Language: Haskell

    Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime

  2. 2. OWASP/owasp-istg

    The IoT Security Testing Guide (ISTG) provides a comprehensive methodology for penetration tests in the IoT field, offering flexibility to adapt innovations, and developments in the IoT market while still ensuring comparability of test results.

    GitHub repository with 120 stars and 21 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Python

    Topics: iotsecurity, penetration-testing, security-testing, embedded-security, testing-framework, compliancy-checklist