Projects in Awesome Lists tagged with interaction-nets
A curated list of projects in awesome lists tagged with interaction-nets .
https://github.com/foolwood/drl
[arXiv22] Disentangled Representation Learning for Text-Video Retrieval
clip interaction-nets text-video-search-engine transformer video-retrieval
Last synced: 30 Aug 2025
https://github.com/codedot/lambda
Macro Lambda Calculus
interaction-nets lambda-calculus
Last synced: 13 Apr 2025
https://github.com/xieyuheng/inet-forth
An implementation of interaction nets as a forth-like language.
computation-model concatenative forth forth-like graph-processing inet interaction-nets interpreter language-design linear-logic scalable-c
Last synced: 30 Sep 2025
https://github.com/gergoerdi/interaction-nets
Haskell implementation of interaction net-based lambda evaluation
evaluator haskell interaction-nets lambda-calculus
Last synced: 05 Aug 2025
https://github.com/Soonad/Formality-Net-Animator
Animations for Elementary-Affine-Net interactions
animation animator computation i-net interaction-nets lambda nasic reduction
Last synced: 09 Jul 2025
https://github.com/noughtmare/lafont90
The interaction net language proposed by Yves Lafont implemented in Rascal.
interaction-nets programming-language rascal rascal-mpl
Last synced: 31 Jan 2026
https://github.com/xieyuheng/inet-lisp-st
A single-threaded implementation of interaction nets as a lisp-like language.
computation-model graph-processing inet interaction-nets interpreter language-design linear-logic lisp lisp-like scalable-c
Last synced: 30 Sep 2025
https://github.com/xieyuheng/inet-lisp
An implementation of interaction nets.
computation-model graph-processing inet interaction-nets interpreter language-design linear-logic lisp lisp-like scalable-c
Last synced: 30 Sep 2025
https://github.com/doeixd/annette
A TypeScript library for crafting interaction nets
Last synced: 12 May 2025
https://github.com/noughtmare/interact_ackermann
Interaction nets vs GHC performance comparison
Last synced: 17 May 2026
https://github.com/lamagraph/interaction-nets-in-fpga
Interaction nets based processor in Clash
clash fpga haskell interaction-nets
Last synced: 09 Apr 2025
https://github.com/lamagraph/qtreeinpla
QuadTrees in Interaction Nets
graphblas interaction-nets quadtree sparse-matrices
Last synced: 07 Apr 2026