nasa / ogmaLinks
Generator of runtime monitors for flight and robotics applications.
☆479Updated 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 last month
- A framework for the elicitation, specification, formalization and analysis of requirements.☆379Updated 4 months ago
- Domain-Specific Languages of Mathematics☆443Updated last month
- Haskell client library for the ROS robotics framework.☆110Updated 8 years ago
- A new, open source mission control system in Haskell☆64Updated last year
- Haskell implemented with combinators☆616Updated 2 weeks ago
- Build Systems à la Carte☆258Updated last year
- Where Lions Roam: RISC-V on the VELDT☆258Updated 2 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- a challenge for Haskell beginners☆461Updated 2 years ago
- A DSL for embedded hard realtime applications.☆274Updated 8 years ago
- The adventures of a Haskell compiler☆232Updated this week
- Simple shell like scripting from Haskell☆289Updated 3 months ago
- The Haskell Optimization Handbook☆180Updated 7 months ago
- Resource gathering + programming game☆892Updated this week
- Standard library for linear types in Haskell.☆350Updated 3 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- ☆90Updated last year
- A modern supercompiler for call-by-value functional languages☆427Updated last month
- A formal logic framework that runs in the browser☆305Updated 10 months ago
- Symbolic formula representation and solver interaction library☆169Updated this week
- A prompt engineering functional programming language☆448Updated last week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆638Updated this week
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆119Updated 4 years ago
- ☆234Updated 2 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆249Updated 2 months ago
- Unix core utilities implemented in Haskell☆287Updated 6 months ago