interaction-nets 开源项目推荐（46 个）

jsikyoon /Interaction-networks_tensorflow

Tensorflow Implementation of Interaction Networks for Learning about Objects, Relations and Physics

xieyuheng /inet-cute

JS中交互网的实现。

jsikyoon /visual-interaction-networks_tensorflow

Tensorflow Implementation of Visual Interaction Networks

foolwood /DRL

[arXiv22] Disentangled Representation Learning for Text-Video Retrieval

SrGaabriel /soma

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.

moonad-archive /Formality-JavaScript

An implementation of the Formality language in JavaScript

marvinborner /interaction-net-resources

📚 Interaction net resources

xieyuheng /inet-js

This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)

codedot /lambda

Macro Lambda Calculus

xieyuheng /inet-forth

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

denful /dnx

A high performance Nix runtime. Reproducible, parallel, and verifiable derivations and code.

aripiprazole /trazodone

🧪 | LLVM backend for HVM

gergoerdi /interaction-nets

Haskell implementation of interaction net-based lambda evaluation

Soonad /Formality-C

An implementation of the Formality language in C

Soonad /Formality-Net-Animator

Animations for Elementary-Affine-Net interactions

noughtmare /lafont90

The interaction net language proposed by Yves Lafont implemented in Rascal.

codedot /inet-lib

JavaScript Engine for Interaction Nets

colltoaction /mlir-inet-dialect

Inet is an MLIR dialect for interaction nets

xieyuheng /inet-lisp

An implementation of interaction nets.

marvinborner /supersat-hvm

SAT by superposition HVM benchmark