Alternatives and similar repositories for ogma

Users that are interested in ogma are comparing it to the libraries listed below

• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆748Updated last week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆364Updated last month
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆63Updated 11 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆440Updated 3 months ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated 11 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆555Updated this week
• swarm-game / swarm
  Resource gathering + programming game
  ☆876Updated this week
• snowleopard / build
  Build Systems à la Carte
  ☆253Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆165Updated 3 weeks ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 4 months ago
• ButlerOS / haskell-butler
  ☆88Updated 8 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆191Updated 2 years ago
• acowley / roshask
  Haskell client library for the ROS robotics framework.
  ☆110Updated 8 years ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆287Updated 2 weeks ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆272Updated 8 years ago
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆414Updated this week
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆282Updated last month
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 5 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆345Updated 3 weeks ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆227Updated 2 months ago
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated 3 months ago
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆103Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆176Updated 4 years ago
• facebookincubator / hsthrift
  The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…
  ☆156Updated this week
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆418Updated 3 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated last month
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated last month
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 4 years ago
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 2 months ago