Stars
11
results
for source starred repositories
Clear filter
mimalloc is a compact general purpose allocator with excellent performance.
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
Algorithmic Information Theory, using Binary Lambda Calculus
x86 C compiler written in untyped lambda calculus
Lambda normalization and conversion checking benchmarks for various implementations