GitHub repository: Ao-senXiong/checker-framework-vscode
Primary language: TypeScript
Description: Checker Framework for VS Code