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.
  ☆43Updated 2 months ago
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆60Updated last week
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆53Updated this week
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 4 months ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆44Updated 7 months ago
• ad-si / awesome-fp-jobs
  A curated list of awesome functional programming jobs.
  ☆66Updated 5 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆126Updated 2 weeks ago
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 3 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆14Updated 7 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆111Updated 4 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆84Updated 3 weeks ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated 3 weeks ago
• cdupont / Timeloop
  ☆41Updated last year
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆54Updated this week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆126Updated last year
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆38Updated 3 months ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 3 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last week
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆33Updated last week
• x86y / beacon
  A native and a cross platform guide for BQN array programming language
  ☆58Updated 9 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 6 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• MondayMorningHaskell / AdventOfCode
  ☆15Updated last year
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 3 weeks ago
• toptobes / realworld-haskell-scotty-example
  Haskell + Scotty example RealWorld API implementation for https://realworld.io
  ☆27Updated 3 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year