Alternatives and similar repositories for mulang

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

• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆31Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆44Updated 5 years ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆59Updated last week
• sighingnow / duckdb-haskell
  Full-featured haskell bindings for the duckdb database.
  ☆20Updated 2 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• brandonchinn178 / graphql-client
  Call and consume GraphQL APIs with type safe queries and responses
  ☆24Updated 5 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• Tritlo / mcp
  ☆18Updated 4 months ago
• fpcastle / fpcastle.github.io
  A representative FP Castle
  ☆19Updated 4 months ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 4 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆31Updated 10 months ago
• well-typed / optics-zurihac-2021
  ☆11Updated 4 years ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆113Updated 4 months ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 6 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 9 months ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• rocq-community / manifesto
  Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
  ☆68Updated 8 months ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆57Updated 4 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆155Updated this week
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=?]
  ☆39Updated 7 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 months ago
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated 2 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 3 years ago
• daanx / effect-bench
  Benchmarking algebraic effect handler implementations
  ☆26Updated 4 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 4 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆46Updated 2 years ago