GitHub repository: simonhorlick/formality-vscode
Primary language: TypeScript
Description: A language server protocol implementation and vscode plugin for the Formality programming language.