📚 Interaction net resources
lambda-calculus interaction-nets inet beta-reduction linear-logic optimal-reduction interaction-combinators
- Updated
Oct 16, 2025
#
interaction-combinators
Here are 7 public repositories matching this topic...
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
simulation lambda-calculus quine artificial-life rewrites graph-rewriting-library lambda-terms artificial-chemistry chemlambda quine-graph interaction-combinators
- Updated
Mar 29, 2023 - JavaScript
Molecular computers with interaction combinators like graph rewrite systems
- Updated
Nov 9, 2022 - JavaScript
IC Sandbox: my aggregated interaction combinator research sandbox.
- Updated
Mar 28, 2025 - Rust
A lightweight and multi-threaded Interaction Combinators implementation in Rust
- Updated
Nov 12, 2023 - Rust
alternative homepage
simulation lambda-calculus mathematics artificial-life artificial-chemistry chemlambda interaction-combinators
- Updated
Jun 3, 2023 - JavaScript
Interaction Combinators MLIR Dialect
- Updated
Sep 22, 2025 - CMake
Improve this page
Add a description, image, and links to the interaction-combinators topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interaction-combinators topic, visit your repo's landing page and select "manage topics."