Alternatives and similar repositories for mulang

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

• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated this week
• timjs / idris-clean
  A priliminary backend for Idris that compiles to Clean.
  ☆15Updated 8 years ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated last year
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆61Updated last month
• brandonchinn178 / graphql-client
  Call and consume GraphQL APIs with type safe queries and responses
  ☆24Updated 7 months ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• NorfairKing / haphviz
  Graphviz code generation with Haskell
  ☆18Updated 3 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 6 years ago
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆44Updated 5 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆32Updated last year
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• tfausak / imp
  Automatically import Haskell modules.
  ☆22Updated 2 weeks ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 weeks ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆86Updated 4 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Updated 5 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆46Updated 2 years ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆48Updated last year
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated 2 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• fpcastle / fpcastle.github.io
  A representative FP Castle
  ☆19Updated 2 weeks ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆35Updated last year
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆157Updated last week
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 4 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 weeks ago
• daanx / effect-bench
  Benchmarking algebraic effect handler implementations
  ☆27Updated 4 years ago