⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.
📚 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.
Coherence-Aware Reinforcement Learning (CARL) - breakthrough LLM post-training and test-time training paradigm. carl builds the world's most advanced and intelligent agent systems that are a step change over current gen agents
🔺 Polarized symmetric interaction combinator (SIC2) reduction; originally marvinborner/nette-effekte
Distributed Interaction Combinator reducer for Grid Computing — Rust, formally specified, deterministic via strong confluence.
A lightweight and multi-threaded Interaction Combinators implementation in Rust
🔺 Polarized symmetric interaction combinator (SIC2) reduction (EPE project WS25/26)
Interaction Combinators MLIR Dialect
alternative homepage
To associate your repository with the interaction-combinators topic, visit your repo's landing page and select "manage topics."