Alternatives and similar repositories for mulang

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

• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 7 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 4 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 4 months ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated 4 months ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆156Updated 8 months ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆54Updated 4 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 8 months ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆56Updated 3 weeks ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated 2 years ago
• hwayne / gpt-tricks
  A collection of useful uses of GPT (and other LLMs), organized as examples
  ☆16Updated 2 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 4 years ago
• brandonchinn178 / graphql-client
  Call and consume GraphQL APIs with type safe queries and responses
  ☆24Updated 3 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 11 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆41Updated 6 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 7 months ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆32Updated 4 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 9 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 5 years ago
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 15 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆57Updated last week
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated last year
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆152Updated last month
• Lysxia / metamorph
  Monomorphize polymorphic functions for testing
  ☆36Updated 8 years ago
• JimmyZJX / TypingFormalization
  ☆14Updated 6 years ago