diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2026-03-15 19:12:34 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2026-03-15 19:12:34 +0900 |
| commit | 611f901b6eae110a4936e6b50cc171e781ac295d (patch) | |
| tree | 1749c785a8959eb713b2357d94898dfe5b8e7cdd | |
| parent | 1d1bc875f1233838c123b46341e6c594e6cf5e57 (diff) | |
| download | inpla-611f901b6eae110a4936e6b50cc171e781ac295d.tar.gz inpla-611f901b6eae110a4936e6b50cc171e781ac295d.zip | |
Update README.md
| -rw-r--r-- | README.md | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -292,10 +292,16 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se ## Related Work -* [Train: Translator of a functional language to interaction nets (Inpla notation)](https://github.com/inpla/train) * [High-order Virtual Machine (HVM)](https://github.com/Kindelia/HVM) -* [Language, interpreter and compiler for interaction nets](https://github.com/szeiger/interact) * [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/) +* [A Rust-Based Interaction Combinator Runtime](https://github.com/Gadersd/ic) +* [Language, interpreter and compiler for interaction nets](https://github.com/szeiger/interact) +* [Interaction Nets in OCaml](https://github.com/nikolaushuber/ocaml_inets) +* [ingpu - an experimental GPU-based interaction nets evaluator](https://github.com/euschn/ingpu) + +#### My repository + +- [Train: Translator of a functional language to interaction nets (Inpla notation)](https://github.com/inpla/train) |