GitHub repository: michaelforney/Formality-C
Description: An implementation of the Formality language in C