GitHub repository: polarity-lang/vscode
Primary language: TypeScript
Description: VSCode extension for the polarity programming language