⚗️ | 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.
An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.
🔺 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
Interaction Combinators MLIR Dialect
alternative homepage
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."