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.
  ☆679Updated this week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆174Updated this week
• augustss / MicroHs
  Haskell implemented with combinators
  ☆433Updated this week
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 6 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆427Updated this week
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆257Updated 7 months ago
• snowleopard / build
  Build Systems à la Carte
  ☆251Updated 8 months ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆272Updated 7 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆221Updated 2 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆508Updated 8 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated 3 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆156Updated this week
• GaloisInc / ivory
  The Ivory EDSL
  ☆397Updated 5 years ago
• ButlerOS / haskell-butler
  ☆89Updated 4 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆341Updated 3 months ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆252Updated this week
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆215Updated this week
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆391Updated last year
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated last month
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 2 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 3 months ago
• quchen / stgi
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆531Updated 3 years ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆576Updated last month
• lyokha / nginx-haskell-module
  A comprehensive web framework aimed at building custom Haskell handlers for the Nginx Web Server
  ☆163Updated 2 weeks ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and understanding of requirements.
  ☆323Updated 3 months ago