Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
-
Updated
Jul 22, 2026
#
lambdacalculus
Here are 5 public repositories matching this topic...
Lambda calculus interpreter written in TypeScript
-
Updated
Oct 26, 2025 - TypeScript
Simply typed and advanced structures in lambda calculus
-
Updated
May 22, 2020 - Coq
A repository that contains codes to various Lambda Calculus stuff i did when learning LambdaCalculus, mostly contains JavaScript and Python Code i believe
-
Updated
Jan 2, 2020 - Jupyter Notebook
Lambda Calculus (parser, interpreter, type checker) written in Rust, and therefore 🔥Blazingly™🔥fast.
-
Updated
Apr 16, 2024 - Rust
Add this topic to your repo
To associate your repository with the lambdacalculus topic, visit your repo's landing page and select "manage topics."