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.
  ☆743Updated last week
• augustss / MicroHs
  Haskell implemented with combinators
  ☆520Updated this week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 3 months ago
• snowleopard / build
  Build Systems à la Carte
  ☆252Updated 11 months ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆272Updated 8 years ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 10 months ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated 10 months ago
• swarm-game / swarm
  Resource gathering + programming game
  ☆873Updated this week
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆584Updated last month
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆509Updated last year
• oswald2 / AURIS
  A new, open source mission control system in Haskell
  ☆63Updated 10 months ago
• ed-o-saurus / PLHaskell
  An extension for PostgreSQL that allows embedded Haskell code.
  ☆140Updated 2 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆344Updated this week
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated 2 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆439Updated 3 months ago
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆219Updated 4 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆457Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆418Updated 2 months ago
• well-typed / optics
  Optics as an abstract interface
  ☆385Updated last week
• ButlerOS / haskell-butler
  ☆88Updated 8 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 4 months ago
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆424Updated this week
• space-ros / space-ros
  The Space ROS meta operating system for space robotics.
  ☆186Updated 2 weeks ago
• acowley / roshask
  Haskell client library for the ROS robotics framework.
  ☆110Updated 8 years ago
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆103Updated last year
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆362Updated 2 weeks ago
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆410Updated last week