A high performance Nix runtime. Reproducible, parallel, and verifiable derivations and code.
-
Updated
Jun 11, 2026 - Rust
#
interaction-nets
Here are 4 public repositories matching this topic...
Distributed Interaction Combinator reducer for Grid Computing — Rust, formally specified, deterministic via strong confluence.
rust distributed-systems research lambda-calculus interaction-nets confluence bsp grid-computing graph-rewriting interaction-combinators
-
Updated
Jul 31, 2026 - Rust
A high-performance Rust and WebGPU engine that compiles and executes experimental logic at hardware speed.
rust theorem-proving combinatory-logic set-theory interaction-nets computational-geometry lock-free gpu-computing formal-verification graph-reduction homotopy-type-theory proof-theory constructive-mathematics wgpu ramsey-theory vector-symbolic-architectures lean4
-
Updated
Jul 31, 2026 - Rust
Improve this page
Add a description, image, and links to the interaction-nets topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interaction-nets topic, visit your repo's landing page and select "manage topics."