nasa / ogmaLinks
Generator of runtime monitors for flight and robotics applications.
☆478Updated last week
Alternatives and similar repositories for ogma
Users that are interested in ogma are comparing it to the libraries listed below
Sorting:
- A stream-based runtime-verification framework for generating hard real-time C code.☆768Updated 3 weeks ago
- A framework for the elicitation, specification, formalization and analysis of requirements.☆374Updated 3 months ago
- Haskell client library for the ROS robotics framework.☆110Updated 8 years ago
- NASA PVS Library of Formal Developments☆290Updated last month
- Where Lions Roam: RISC-V on the VELDT☆260Updated last month
- Resource gathering + programming game☆887Updated this week
- Build Systems à la Carte☆256Updated last year
- Domain-Specific Languages of Mathematics☆443Updated last month
- A DSL for embedded hard realtime applications.☆274Updated 8 years ago
- ☆90Updated 11 months ago
- A new, open source mission control system in Haskell☆64Updated last year
- Haskell implemented with combinators☆610Updated this week
- The Haskell Optimization Handbook☆180Updated 6 months ago
- The adventures of a Haskell compiler☆232Updated 4 months ago
- Simple shell like scripting from Haskell☆287Updated 3 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated 2 months ago
- Standard library for linear types in Haskell.☆350Updated 3 months ago
- Symbolic formula representation and solver interaction library☆169Updated last week
- The Ivory EDSL☆402Updated 5 years ago
- A reference library for constraint-solving with propagators and CDCL.☆306Updated last year
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- a challenge for Haskell beginners☆461Updated 2 years ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- Unix core utilities implemented in Haskell☆287Updated 5 months ago
- Fast Aho-Corasick string searching☆189Updated 7 months ago
- 🕵️ Haskell STatic ANalyser☆582Updated last month
- A comprehensive web framework aimed at building custom Haskell handlers for the Nginx Web Server☆161Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago