Life & fun · alternatives · 2026
24 alternatives to Programming with Pure Lambda Calculus
Functional programming language based on pure de Bruijn indexed lambda calculus.
Programming with Pure Lambda Calculus is a tool for learning and practicing functional programming using pure lambda calculus. It is designed for developers and computer science students who want to understand the… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Programming with Pure Lambda Calculus launched in 2023; newer entries below may have overtaken it.
- 1
A Lisp interpreter written as an untyped lambda calculus term
2022 · woodrush.github.io · its alternatives →
- 2
Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)
2023 · scrapscript.org · its alternatives →
- 3
Purely functional artificial neural network library implemented in Haskell. - jbarrow/LambdaNet
2014 · github.com · its alternatives →
- 4
x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 5
A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 6LA
What if Brainfuck was less like C and more like Scheme? The interpreter implemetation is pretty bad. It's not very fast, it's not very good, and it's probably not very correct. But maybe there's some vaguely interesting programs you could write with it! For example, the Y combinator: λf. (λx. f (x x)) (λx. f (x x)) is written as: \` \`1 `0 0 \`1 `0 0
2025 · imjakingit.github.io · its alternatives →
- 7
A puzzle game inspired by functional programming.
2015 · david-peter.de · its alternatives →
- 8
Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
2017 · github.com · its alternatives →
- 9
C# pure functional programming framework - come and get declarative! - louthy/language-ext
2014 · github.com · its alternatives →
- 10CD
2012 · scattered-thoughts.net · its alternatives →
- 11FS
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…
Aug 2026 · fuselang.org · its alternatives →
- 12
Clio is a functional, parallel, distributed programming language.
2019 · clio-lang.org · its alternatives →
- 13
Type-Level Lambda Calculus interpreter with TypeScript - desi-ivanov/ts-lambda-calc
2021 · github.com · its alternatives →
- 14
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 15
Lambda functions over S3 objects with concurrency control (each, map, reduce, filter) - littlstar/s3-lambda
2017 · github.com · its alternatives →
- 16AL
2013 · brycec.github.com · its alternatives →
- 17
Éole, a Lévy-optimal lambda calculus evaluator without oracle - HerrmannM/eole
2019 · github.com · its alternatives →
- 18
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 19
Learn functional programming for the web using PureScript, by solving practical problems.
2014 · leanpub.com · its alternatives →
- 20
An interactive functional programming course for children based on clojure and klipse - viebel/kids.klipse.tech
2016 · github.com · its alternatives →
- 21
What's your tool chain for data and document processing? - jq is great, but limited to JSON; and jQuery limited to HTML; templating systems get messy for non-trivial logic; TypeScript lacks pattern matching and schema support. So I built Lambda — an expressive functional language that combines the power of Lisp, TypeScript, and many DSLs like jq, jQuery, RelaxNG, etc. It has a lightweight 9 MB runtime, built from scratch in C/C++, that provides an end-to-end document processing pipeline (parse → validate/query/transform → layout → render/view). Internally, Lambda parse…
Mar 2026 · github.com · its alternatives →
- 22
A functional programming and concurrency library for Python: algebraic abstractions (Semigroups, Monoids, Functors, Applicatives, Monads), immutable data types, and message-passing concurrency, all designed as composable, type-safe values. - kamalfarahani/katharos
Aug 2026 · github.com · its alternatives →
- 23
Functional programming for modern Fortran. Contribute to wavebitscientific/functional-fortran development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 24EI
2019 · getprogrammingwithclojure.com · its alternatives →
Also compare
- LambdaLisp – A Lisp interpreter that runs on lambda calculus alternatives
- ScrapScript – A tiny functional language for sharable software alternatives
- LambdaNet – A functional neural network library written in Haskell alternatives
- Lambda-8cc – An x86 C compiler written in untyped lambda calculus alternatives
- Caramel – a modern syntax for the lambda calculus alternatives
- Lambduck, a Functional Programming Brainfuck alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →