🍱 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

λ-Calculi Expression Visualizer

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

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

Twilight is a modern lambda calculus runtime and REPL.

An interpreter of lambda calculus by explicit substitution.

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.

seeking to understand patterns behind a normalizer for typed lambda calculus with type affinities.

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

An interactive web application implemented in TypeScript which features an interpreter for expressions of lambda calculus, a concise but Turing-complete language that has significantly influenced the history and design of programming languages.

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