Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 09 Nov 2024
https://github.com/codedot/lambda
Macro Lambda Calculus
interaction-nets lambda-calculus
Last synced: 07 Nov 2024
https://github.com/gergoerdi/interaction-nets
Haskell implementation of interaction net-based lambda evaluation
evaluator haskell interaction-nets lambda-calculus
Last synced: 16 Nov 2024
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: 20 Nov 2024
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: 29 Nov 2024
https://github.com/noughtmare/interact_ackermann
Interaction nets vs GHC performance comparison
Last synced: 29 Nov 2024
https://github.com/lamagraph/interaction-nets-in-fpga
Interaction nets based processor in Clash
clash fpga haskell interaction-nets
Last synced: 21 Dec 2024
