⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.
📚 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.
🔺 Polarized symmetric interaction combinator (SIC2) reduction; originally marvinborner/nette-effekte
Distributed Interaction Combinator reducer for Grid Computing — Rust, formally specified, deterministic via strong confluence.
🔺 Polarized symmetric interaction combinator (SIC2) reduction (EPE project WS25/26)
A lightweight and multi-threaded Interaction Combinators implementation in Rust
An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.
alternative homepage
Interaction Combinators MLIR Dialect
An experimental programing language based on INets. WIP
To associate your repository with the interaction-combinators topic, visit your repo's landing page and select "manage topics."