A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
-
Updated
Jul 23, 2024 - Rust
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Telegram β Apk
an interpreter for λ-calculus implemented in ruby
A Lambda Calculus interpreter implemented in C.
An untyped lambda calculus interpreter written in Scala
A lambda calculus evaluator in both Haskell and Python
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
The λ-calculus in Haskell
A repository exploring pure functional programming with Haskell
A simple Lambda expression interpreter in Java
🧮 Lambda Calc Interpreter: Bridge theory & practice. Apply beta reductions to simplify expressions. Python-based, interactive shell. Simplify complex computations with ease. Unlock the power of lambda expressions interactively.
Add a description, image, and links to the beta-reduction topic page so that developers can more easily learn about it.
To associate your repository with the beta-reduction topic, visit your repo's landing page and select "manage topics."