optimal lambda calculus reducer with delimiter bookkeeping (fork)

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Inpla: Interaction nets as a programming language (the current version)

A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~3500 tests

effects, but optimal

Algorithmic Information Theory, using Binary Lambda Calculus

📚 Interaction net resources

x86 C compiler written in untyped lambda calculus

Bologna Optimal Higher-Order Machine, Version 1.1

Lambda normalization and conversion checking benchmarks for various implementations