GitHub repository: waldandrade/formalcode2
Primary language: JavaScript
Description: Plataforma online para edição, compilação e simulação de especificações formais escritas em Lotos