21 results for “topic:beta-reduction”
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
:books: Interaction net resources
A Lévy-optimal lambda calculus reducer with a backdoor to C
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Telegram β Apk
an interpreter for λ-calculus implemented in ruby
A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~3500 tests
The λ-calculus in Haskell
An untyped lambda calculus interpreter written in Scala
No description provided.
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
A lambda calculus evaluator in both Haskell and Python
Introduction to the Untyped Lambda Calculus by covering the basics and then writing an Interpreter
Uma calculadora lambda simples
A Lambda Calculus interpreter implemented in C.
🧮 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.
一个简单的lambda演算解释器
Interpreter for Lamba-expressions
Resuelve expresiones de cálculo lambda usando el lenguaje Racket y recursión
A repository exploring pure functional programming with Haskell
A simple Lambda expression interpreter in Java