An implementation of the Formality language in JavaScript
Temporary repository for Kind2's refactor based on HVM2
Moonad: a p2p academic journal, or a social network for code?