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.
  ☆755Updated last week
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆64Updated last year
• acowley / roshask
  Haskell client library for the ROS robotics framework.
  ☆110Updated 8 years ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆581Updated this week
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated 2 weeks ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆274Updated 8 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆442Updated last week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 5 months ago
• snowleopard / build
  Build Systems à la Carte
  ☆255Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆177Updated 4 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆349Updated 2 months ago
• swarm-game / swarm
  Resource gathering + programming game
  ☆883Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• ButlerOS / haskell-butler
  ☆90Updated 10 months ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆287Updated last month
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆510Updated last month
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆629Updated 3 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 9 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆168Updated this week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆231Updated 3 months ago
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆441Updated last month
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆118Updated 4 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆455Updated last year
• stefan-hoeck / idris2-tutorial
  ☆233Updated 3 weeks ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆167Updated 2 months ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆400Updated 5 years ago
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆434Updated 3 weeks ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 6 months ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆288Updated this week