Stars
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
Supporting materials for "Designing a High-Level Programming Language for Interaction Nets" PhD thesis.
egg is a flexible, high-performance e-graph library
mimalloc is a compact general purpose allocator with excellent performance.
marvinborner / lambdascope
Forked from jrochel/graph-rewritingoptimal 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 ~1200 handwritten 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