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.
  ☆797Updated last month
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆400Updated 8 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆446Updated last week
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆64Updated last year
• augustss / MicroHs
  Haskell implemented with combinators
  ☆684Updated last week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• acowley / roshask
  Haskell client library for the ROS robotics framework.
  ☆111Updated 9 years ago
• ButlerOS / haskell-butler
  ☆90Updated last year
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆237Updated 3 months ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆265Updated last month
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆171Updated last year
• swarm-game / swarm
  Resource gathering + programming game
  ☆903Updated last week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• snowleopard / build
  Build Systems à la Carte
  ☆273Updated last year
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆352Updated 2 weeks ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆184Updated 3 weeks ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆275Updated 8 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆288Updated 7 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆700Updated 3 weeks ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 3 years ago
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆286Updated 3 months ago
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆465Updated 2 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 3 weeks ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆468Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆397Updated 3 weeks ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆273Updated last year
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆512Updated last week
• GaloisInc / ivory
  The Ivory EDSL
  ☆408Updated 5 years ago