lambda-calculus

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

interactive λ-calculus for learning

An implementation of lambda calculus.

Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.

Human-AI Pair Programming / Neurosymbolic Language / IDE / OS

Computerized proof system on the web

λ-Calculi Expression Visualizer

An educational environment for exploring automata, Turing machines, and the λ-calculus.

Twilight is a modern lambda calculus runtime and REPL.

Write Haskell style lambda expression in F#, `\` instead of `fun `

Naive implementation of Lambda Calculus on TypeScript type level.

An interactive browser-based lambda calculus interpreter with step-by-step beta reduction.

Lambda Calculus interpreter in Typescript

An implementation of lambda calculus by explicit substitution.

A collection of interactive textbooks

A Simple Lambda Calculus REPL.

λ-Calculus Interpreter for Students

Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.

Interactive lambda calculus playground - parser, type checker, evaluator, proof-tree visualization, and Curry–Howard correspondence, plus a VS Code extension.

Exercise to practice working with functions.