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

interactive λ-calculus for learning

An interpreter of lambda calculus.

Computerized proof system on the web

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

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

λ-Calculi Expression Visualizer

Twilight is a modern lambda calculus runtime and REPL.

An interpreter of lambda calculus by explicit substitution.

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

A Simple Lambda Calculus REPL.

λ-Calculus Interpreter for Students

Lambda Calculus interpreter in Typescript

Naive implementation of Lambda Calculus on TypeScript type level.

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

Exercise to practice working with functions.

Lamda Calculus experiments that I wanted to try after seeing two great talks: Corey Haines GOTO 2015 Fun with the Lambda Calculus Gariel Lebec Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Visualization of Lambda Calculus

An HTML5 game developed with Phaser 3 in TypeScript for a university project.