Alternatives and similar repositories for zerolambda

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

• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated this week
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 3 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆54Updated this week
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated 2 weeks ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆115Updated 4 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 5 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated last month
• lexi-lambda / lexi-lambda.github.io
  ☆33Updated 3 years ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆19Updated last year
• rocq-prover / stdlib
  Stdlib for the Rocq Prover
  ☆12Updated this week
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated 8 months ago
• ad-si / awesome-fp-jobs
  A curated list of awesome functional programming jobs.
  ☆66Updated 5 months ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 4 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated 3 weeks ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆86Updated last month
• matthunz / shmonad
  A shell prompt with infinite customization
  ☆39Updated 11 months ago
• reubenharry / haskell-docs
  ☆58Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆97Updated last week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• matthunz / view-monad
  ☆23Updated 9 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• gelisam / typechecker-combinators
  ☆17Updated last year
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆49Updated last year
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆38Updated 3 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• kbertalan / tyttp
  ☆21Updated last week