2 个仓库
Awesome GitHub RepositoriesInteraction Net Engines
Computational engines that reduce expressions by rewriting local connections in a graph.
Distinct from Graph-Based Computational Execution: Distinct from general computational graphs: focuses on interaction net rewriting rules rather than static DAGs.
Explore 2 awesome GitHub repositories matching scientific & mathematical computing · Interaction Net Engines. Refine with filters or upvote what's useful.
Awesome Interaction Net Engines GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- higherorderco/bend
HigherOrderCO/Bend
19,175在 GitHub 上查看Bend is a high-level parallel programming language and compiler designed to execute code across multi-core CPUs and GPUs automatically. By translating functional source code into a graph-based intermediate representation, it enables massive parallel execution without requiring manual management of threads, locks, or atomic operations. The runtime operates as an interaction net engine, where computations are represented as networks of nodes that reduce through local rewriting rules. This model utilizes a work-stealing scheduler to distribute tasks across thousands of hardware threads, ensuring
Executes computations by reducing networks of interacting nodes through local rewriting rules.
Rust - higherorderco/hvm2
HigherOrderCO/HVM2
11,290在 GitHub 上查看HVM2 is a high-performance execution environment for pure functional programs, implemented as a systems-level runtime in Rust. It functions as a massively parallel functional runtime that uses interaction combinators to achieve automatic parallelism across multi-core CPUs and GPUs. The project distinguishes itself by using a graph-rewriting computational model to execute programs via local reduction rules, which eliminates the need for manual locks or atomic operations. It employs beta-optimal reduction and lazy evaluation to optimize higher-order functions and eliminate redundant computation
Uses a graph-rewriting engine to execute programs via local reduction rules.
Cuda
