Alternatives and similar repositories for zerolambda

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

• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆45Updated 6 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆72Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆122Updated 8 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆82Updated last week
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 2 weeks ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 5 months ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆24Updated this week
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 9 months ago
• uds-psl / Prog
  ☆85Updated 3 years ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆53Updated 7 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• codereport / bqn-code
  A compilation of BQN solutions to various coding challenges.
  ☆12Updated last week
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 4 years ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated 11 months ago
• stefan-hoeck / idris2-tutorial
  ☆233Updated 3 weeks ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆118Updated last month
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated 4 months ago
• soupi / rfc
  My slides and compilation of resources.
  ☆155Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated last year
• stefan-hoeck / idris2-pack
  ☆127Updated 3 weeks ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 7 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆118Updated 2 weeks ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆32Updated last week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆78Updated last week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆65Updated 3 weeks ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆132Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆279Updated last week
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated last month
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated 2 weeks ago