🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
-
Updated
Aug 3, 2023 - TypeScript
#
lambda-calculus
Here are 23 public repositories matching this topic...
An implementation of lambda calculus.
-
Updated
Aug 23, 2025 - TypeScript
-
Updated
Nov 9, 2025 - TypeScript
Computerized proof system on the web
-
Updated
Jan 10, 2024 - TypeScript
Human-AI Pair Programming / Neurosymbolic Language / IDE / OS
nodejs lambda typescript lisp interpreter repl lambda-calculus lisp-interpreter lisp-dialect neurosymbolic
-
Updated
Jan 27, 2024 - TypeScript
An educational environment for exploring automata, Turing machines, and the λ-calculus.
-
Updated
Dec 23, 2023 - TypeScript
Twilight is a modern lambda calculus runtime and REPL.
-
Updated
Jun 16, 2025 - TypeScript
Write Haskell style lambda expression in F#, `\` instead of `fun `
lambda haskell fsharp functional-programming dotnet lambda-functions lambda-calculus visual-studio-code lambda-expressions dotnet-framework
-
Updated
Jan 11, 2023 - TypeScript
Naive implementation of Lambda Calculus on TypeScript type level.
-
Updated
Jun 2, 2023 - TypeScript
Lambda Calculus interpreter in Typescript
-
Updated
Sep 5, 2020 - TypeScript
An implementation of lambda calculus by explicit substitution.
-
Updated
Aug 23, 2025 - TypeScript
λ-Calculus Interpreter for Students
-
Updated
Dec 5, 2023 - TypeScript
Exercise to practice working with functions.
-
Updated
Sep 8, 2022 - TypeScript
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
-
Updated
Jan 9, 2023 - TypeScript
An HTML5 game developed with Phaser 3 in TypeScript for a university project.
-
Updated
Aug 1, 2022 - TypeScript
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
-
Updated
Jun 18, 2022 - TypeScript
λ-Calculus interpreter in TypeScript.
-
Updated
Jan 21, 2025 - TypeScript
Improve this page
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."