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.
  ☆738Updated 3 weeks ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆484Updated this week
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆438Updated 2 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆180Updated 2 months ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆271Updated 8 years ago
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆62Updated 9 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆343Updated last week
• swarm-game / swarm
  Resource gathering + programming game
  ☆867Updated this week
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated 10 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆584Updated 2 weeks ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆508Updated 11 months ago
• acowley / roshask
  Haskell client library for the ROS robotics framework.
  ☆110Updated 8 years ago
• snowleopard / build
  Build Systems à la Carte
  ☆252Updated 11 months ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆715Updated 3 weeks ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆520Updated 10 months ago
• space-ros / space-ros
  The Space ROS meta operating system for space robotics.
  ☆185Updated last month
• compiling-to-categories / concat
  Compiling to Categories
  ☆451Updated last year
• haskell / text
  Haskell library for space- and time-efficient operations over Unicode text.
  ☆415Updated this week
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆387Updated last week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆381Updated last week
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆945Updated 4 months ago
• well-typed / optics
  Optics as an abstract interface
  ☆384Updated last month
• morphismtech / squeal
  Squeal, a deep embedding of SQL in Haskell
  ☆371Updated 5 months ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆415Updated last month
• ghc-proposals / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆697Updated 2 weeks ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆618Updated last month
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆174Updated 3 years ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆280Updated this week
• tweag / ormolu
  A formatter for Haskell source code
  ☆997Updated 3 weeks ago