Alternatives and similar repositories for mulang

Users that are interested in mulang are comparing it to the libraries listed below

• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆32Updated last year
• coot / free-algebras
  Free Algebras in Haskell
  ☆38Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• dmoverton / finite-domain
  Finite domain constraint solver in Haskell
  ☆20Updated 4 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 8 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆71Updated 4 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• timjs / idris-clean
  A priliminary backend for Idris that compiles to Clean.
  ☆15Updated 8 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated last week
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆44Updated 5 years ago
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 15 years ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated 8 months ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆33Updated 4 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• mumuki / cspec
  Small BDD framework for C/C++
  ☆104Updated 3 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆37Updated 5 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated this week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆14Updated 6 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆57Updated 4 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated 2 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 6 years ago