Change the repository type filter
All
Repositories list
34 repositories
inet
PublicAn implementation of interaction nets in C.xvm
PublicXVM is a extensible virtual machine.inet-js
PublicThis is an implementation of interaction nets, with a familiar JavaScript-like syntax :)inet-cute
PublicAn implementation of interaction nets in JS.propagator
PublicAn implementation of the propagator model.inet-website
PublicWebsite of iNetcicada-plct
PublicCicada Language (PLCT little team)cicada-solo
Publiccicada-lang-website
Publiccicada
Publiccicada-lisp
Publiclambda
PublicAn interpreter of lambda calculus.explicit-substitution
PublicAn interpreter of lambda calculus by explicit substitution.propagator-original
Publicconceptor
Publicproblem-solvers
Publicchimera
Publicgrammar
Publiclambda-machine
Publicpetri-net-js
Publiccicada-internships
Publicmugda
PublicAn implementation of the mugda papersexp
Publicpartech
Public.github
Publicmonoid
Publicframework
Publiccicada-seminar-2022
Publicaziz
Public