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.
  ☆785Updated last month
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆389Updated 6 months ago
• acowley / roshask
  Haskell client library for the ROS robotics framework.
  ☆110Updated 9 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆445Updated 3 months ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆275Updated 8 years ago
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆64Updated last year
• augustss / MicroHs
  Haskell implemented with combinators
  ☆661Updated this week
• swarm-game / swarm
  Resource gathering + programming game
  ☆896Updated 2 weeks ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆182Updated 9 months ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆405Updated 5 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆263Updated 3 weeks ago
• snowleopard / build
  Build Systems à la Carte
  ☆259Updated last year
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆293Updated 3 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆463Updated 2 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆351Updated 3 weeks ago
• ButlerOS / haskell-butler
  ☆90Updated last year
• blynn / compiler
  The adventures of a Haskell compiler
  ☆234Updated last month
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆477Updated 2 weeks ago
• stefan-hoeck / idris2-tutorial
  ☆233Updated 4 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆510Updated 5 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 4 years ago
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated last month
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆171Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆386Updated 2 months ago
• i-am-tom / holmes
  A reference library for constraint-solving with propagators and CDCL.
  ☆308Updated last year
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆585Updated last month
• incoherentsoftware / defect-process
  Defect Process (2d hack n' slash game) full source code
  ☆222Updated 2 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆458Updated last year