Lambda Calculus
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
To Mock a Mockingbird - Wikipedia
Lambda Calculus in 400 Bytes | Hacker News
LambdaLisp - A Lisp Interpreter That Runs on Lambda Calculus | Woodrush’s Blog
woodrush/lambdalisp: A Lisp interpreter written in untyped lambda calculus
lambdalisp/lambdacraft.cl at main · woodrush/lambdalisp
woodrush/lambdacraft: Common Lisp DSL for building untyped lambda calculus expressions
woodrush/lambda-8cc: x86 C compiler written in untyped lambda calculus
woodrush/lambdavm: A programmable virtual CPU written in untyped lambda calculus
https://tromp.github.io/cl/Binary_lambda_calculus.html
The Lazy K Programming Language
(406) Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich - YouTube
stopachka/church-factorial: Implement factorial only with lambda calculus
Logic Through the Lens of Neural Networks - Casey Primozic’s Homepage
Exploring Neural Networks Visually in the Browser - Casey Primozic’s Homepage
Differentiable Finite State Machines
Chris Barker’s Iota-Jot-Zot family of esolangs
https://tromp.github.io/cl/Binary_lambda_calculus.html#Brainfuck