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.
  ☆669Updated last week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆156Updated 3 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆175Updated 3 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆422Updated last week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and understanding of requirements.
  ☆312Updated 2 months ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆252Updated 5 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆398Updated this week
• snowleopard / build
  Build Systems à la Carte
  ☆248Updated 6 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆659Updated 2 months ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 5 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆447Updated last year
• GaloisInc / ivory
  The Ivory EDSL
  ☆396Updated 4 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated last month
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆304Updated last year
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆313Updated 3 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆338Updated 2 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆397Updated last week
• ButlerOS / haskell-butler
  ☆89Updated 2 months ago
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆56Updated 5 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated last month
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆300Updated last week
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆533Updated last year
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 2 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆249Updated this week
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆506Updated 6 months ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated last month
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆370Updated last year