formality topic
List
formality repositories
Kind1
3.5k
Stars
142
Forks
Watchers
A next-gen functional language
TaelinArena
97
Stars
26
Forks
Watchers
[outdated] A moddable MOBA in Formality
Formality-JavaScript
72
Stars
4
Forks
Watchers
An implementation of the Formality language in JavaScript
Moonad
27
Stars
7
Forks
Watchers
Moonad: a p2p academic journal, or a social network for code?
Formality-Core
38
Stars
11
Forks
Watchers
Specification of the Formality proof and programming language