beta-reduction

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

📚 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 ~1200 handwritten tests

Untyped Lambda Calculus interpreter performing alpha-conversion, capture-avoiding substitution, and normal-order beta reduction with 0 pip.

Untyped Lambda Calculus interpreter performing alpha-conversion, capture-avoiding substitution, and normal-order beta reduction with 0 pip.

The λ-calculus in Haskell

An untyped lambda calculus interpreter written in Scala

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.

A Lambda Calculus expression parser

Krivine (call-by-name) and SECD (call-by-value) abstract machine interpreters for the lambda calculus in OCaml, with function-based and list-based environment variants.

Interpreter for Lamba-expressions