27 results for “topic:interaction-nets”
Tensorflow Implementation of Interaction Networks for Learning about Objects, Relations and Physics
An implementation of interaction nets in JS.
Tensorflow Implementation of Visual Interaction Networks
[arXiv22] Disentangled Representation Learning for Text-Video Retrieval
An implementation of the Formality language in JavaScript
⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.
This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
Macro Lambda Calculus
An implementation of interaction nets as a forth-like language.
:books: Interaction net resources
🧪 | LLVM backend for HVM
Haskell implementation of interaction net-based lambda evaluation
An implementation of the Formality language in C
Animations for Elementary-Affine-Net interactions
The interaction net language proposed by Yves Lafont implemented in Rascal.
JavaScript Engine for Interaction Nets
A latex package to draw the most general interaction nets: with multiports and multiwires (a.k.a. hyperedges)
An implementation of interaction nets.
A TypeScript library for crafting interaction nets
Interaction nets vs GHC performance comparison
hGMNet : host Genetics and Microbe interaction Networks
A single-threaded implementation of interaction nets as a lisp-like language.
Interaction nets based processor in Clash
Architecture "full stack" post-Von Neumann basée sur la géométrie de Clifford, les réseaux d'interaction, le calcul thermodynamique et l'instantiation directe sans parsing. Une refonte intégrale de la pile informatique pour l'ère de l'efficacité énergétique.
:small_red_triangle: Polarized symmetric interaction combinator (SIC2) reduction (EPE project WS25/26)
A tool for visualizations of Interaction Nets.
QuadTrees in Interaction Nets