A curated list of awesome lambda calculus resources, libraries, tools, and more.
- Lambda Calculus - Computerphile
- Programming with Math | The Lambda Calculus
- Lambda Cube Unboxed – Theo Reto
- Lambda-Calculus and Combinators: An Introduction – Roger Hindley
- An Introduction to Functional Programming Through Lambda Calculus – Greg Michaelson
- The Lambda Calculus. Its Syntax and Semantics
- Programming Languages and Lambda Calculi – Course notes from the UoU -
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
- An Introduction to Lambda Calculi for Computer Scientists
- To Mock a Mockingbird - A book about combinatory logic and the lambda calculus
- The Y Combinator (Slight Return)
- Getting clever with lambda calculus
- Category Theory via C# (22) More Monad: Continuation Monad
- A 𝝺-CALCULUS INTERPRETER - in less than 200 lines of JavaScript
- Compiling to lambda-calculus: Turtles all the way down
- Lambda Calculus
- The Lambda Calculus for Absolute Dummies
- lambda-calculus - A lambda calculus interpreter written in JavaScript
- LambdaJS - A Lambda Calculus Interpreter in JavaScript
- lambda-calculus-interpreter - A simple lambda calculus interpreter in Python
- Lambda Calculus Interpreter - An online lambda calculus interpreter
- Lambda Calculus Reducer - A Wolfram Cloud tool for reducing lambda calculus expressions
- Lambda the Ultimate - A community-driven blog about programming languages, lambda calculus, and related topics
- /r/lambdacalculus - Reddit community for discussing lambda calculus
Your contributions are always welcome! Please submit a pull request or create an issue to add a new resource to the list.
To the extent possible under law, the author has waived all copyright and related or neighboring rights to this work.