Formality-JavaScript

โ˜… 71 Open GitHub โ†—

An implementation of the Formality language in JavaScript

Explore Similar Repositories

interaction-net-resources : ๐Ÿ“š A collection of resources about interaction nets
trazodone : ๐Ÿงช | LLVM backend for HVM
Formality-C : An implementation of the Formality language in C
Formality-Net-Animator : Animations for Elementary-Affine-Net interactions
ocaml_inets : An Encoding of Interaction Nets in OCaml
// repository documentation