⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.

:books: Interaction net resources

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

Molecular computers with interaction combinators like graph rewrite systems

IC Sandbox: my aggregated interaction combinator research sandbox.

A lightweight and multi-threaded Interaction Combinators implementation in Rust

alternative homepage

Interaction Combinators MLIR Dialect

:small_red_triangle: Polarized symmetric interaction combinator (SIC2) reduction (EPE project WS25/26)