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.
  ☆704Updated 3 weeks ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆458Updated this week
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆59Updated 7 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆176Updated 2 weeks ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆257Updated 8 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆342Updated this week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and understanding of requirements.
  ☆333Updated this week
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆271Updated 7 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated 3 weeks ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆608Updated last month
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆168Updated 3 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• quchen / stgi
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆531Updated 3 years ago
• ButlerOS / haskell-butler
  ☆89Updated 5 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 5 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆367Updated 3 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆452Updated last year
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated last week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆223Updated 3 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 4 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆297Updated 5 months ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 7 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆433Updated last week
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆375Updated last year
• well-typed / optics
  Optics as an abstract interface
  ☆382Updated last week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 11 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆507Updated 9 months ago