Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.

📚 Interaction net resources

Distribute and run LLMs with a single file.

Common Expression Language interpreter written in Rust

Code for manuscript How cognition bootstraps its way to complex concepts

Python implementation of churiso

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

Combinatory Chemistry simulator

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

Nullboard is a minimalist kanban board, focused on compactness and readability.

the only cheat sheet you need