8000 interaction-nets · GitHub Topics · GitHub

More Web Proxy on the site http://driver.im/

#

interaction-nets

Here are 5 public repositories matching this topic...

cicada-lang / inet-forth

An implementation of interaction nets as a forth-like language.

interpreter concatenative interaction-nets forth graph-processing language-design inet linear-logic forth-like computation-model scalable-c

Updated May 7, 2025
C

Soonad / Formality-C

An implementation of the Formality language in C

c interaction-nets inet formality

Updated Oct 12, 2019
C

noughtmare / interact_ackermann

Interaction nets vs GHC performance comparison

haskell interaction-nets

Updated Sep 18, 2019
C

cicada-lang / inet-lisp-st

A single-threaded implementation of interaction nets as a lisp-like language.

lisp interpreter interaction-nets graph-processing language-design inet linear-logic lisp-like computation-model scalable-c

Updated May 14, 2025
C

cicada-lang / inet-lisp

An implementation of interaction nets as a lisp-like language.

lisp interpreter interaction-nets graph-processing language-design inet linear-logic lisp-like computation-model scalable-c

Updated May 14, 2025
C

Improve this page

Add a description, image, and links to the interaction-nets topic page so that developers can more easily learn about it.

Curate this topic

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."

0