Formal-to-natural language compiler for a domain-specific-language. Creates contracts in multiple languages from Javascript. - View it on GitHub