🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
-
Updated
Aug 3, 2023 - TypeScript
#
lambda-calculus
Here are 25 public repositories matching this topic...
An interpreter of lambda calculus.
-
Updated
Dec 25, 2024 - 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
-
Updated
Apr 12, 2025 - 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
Dec 23, 2024 - TypeScript
An interpreter of lambda calculus by explicit substitution.
-
Updated
Oct 3, 2024 - 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
λ-Calculus Interpreter for Students
-
Updated
Dec 5, 2023 - TypeScript
Exercise to practice working with functions.
-
Updated
Sep 8, 2022 - TypeScript
Lambda Calculus interpreter in Typescript
-
Updated
Sep 5, 2020 - TypeScript
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
-
Updated
Jan 9, 2023 - TypeScript
seeking to understand patterns behind a normalizer for typed lambda calculus with type affinities.
-
Updated
Mar 4, 2024 - 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."