From 28703bd92c53e28ed020c2c24820a14c1c468c57 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 30 Oct 2024 21:20:44 +0900 Subject: Update README.md --- README.md | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 0a2a85e..df75ca2 100644 --- a/README.md +++ b/README.md @@ -267,14 +267,13 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri [Gentle_introduction_Inpla.md](Gentle_introduction_Inpla.md) explains how to make programs in Inpla step by step. Please look it over! + ## Updates See [Changelog.md](Changelog.md) for details. - - ## Publications * [1] Ian Mackie, Shinya Sato, [*In-place Graph Rewriting with Interaction Nets*](https://arxiv.org/abs/1609.03641), TERMGRAPH 2016, EPTCS 225, pp.15-24, 2016. @@ -292,11 +291,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) -- cgit v1.2.3