Formality-C

โ˜… 13 Open GitHub โ†—

An implementation of the Formality language in C

Explore Similar Repositories

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