moonad

There are 3 repositories under moonad topic.

HigherOrderCO/Kind
A modern proof language
Language:Haskell3.6k 75 216143
moonad-archive/Formality-JavaScript
An implementation of the Formality language in JavaScript
Language:JavaScript72 15 14
moonad/Moonad
Moonad: a p2p academic journal, or a social network for code?
Language:JavaScript28 5 57