Lambda Calculus

Lambda calculus - Wikipedia

De Bruijn index - Wikipedia

Logic | Hacker News

XXIIVV — logic

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

Combinatory logic - Wikipedia

To Mock a Mockingbird - Wikipedia

Overview ‹ λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus — MIT Media Lab

Lambda Calculus in 400 Bytes | Hacker News

Lambda Calculus in 383 Bytes

Fun with Lambda Calculus

LambdaLisp - A Lisp Interpreter That Runs on Lambda Calculus | Woodrush’s Blog

woodrush/lambdalisp: A Lisp interpreter written in untyped lambda calculus

lambdalisp/ 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

Lambda Diagrams

The Lazy K Programming Language

Universal Lambda - Esolang

(406) Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich - YouTube

stopachka/church-factorial: Implement factorial only with lambda calculus

Calculating Kolmogorov Complexity from the Output Frequency Distributions of Small Turing Machines - PMC

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

Iota and Jot - Wikipedia