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