[outdated] A moddable MOBA in Formality
An implementation of the Formality language in JavaScript
Specification of the Formality proof and programming language
Temporary repository for Kind2's refactor based on HVM2
Moonad: a p2p academic journal, or a social network for code?