Popular repositories

1. checker-framework-languageserver checker-framework-languageserver Public

   Checker Framework Language Server

   Java 5 7

2. checker-framework-vscode checker-framework-vscode Public

   Checker Framework for VS Code

   TypeScript 3 8

3. checker-framework-idea checker-framework-idea Public

   3 2

4. javac-diagnostics-wrapper javac-diagnostics-wrapper Public

   Wrapper around javac to produce different diagnostics output

   Java 2 2

5. checker-framework-languageserver-downloader checker-framework-languageserver-downloader Public

   Checker Framework Language Server Downloader

   Java 5

6. checker-framework-eclipse checker-framework-eclipse Public

   Java 3