Pinned Loading

1. eisop/checker-framework eisop/checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java 23 26

2. opprop/checker-framework-inference opprop/checker-framework-inference Public

   Forked from typetools/checker-framework-inference

   Inference of pluggable types for Java

   Java 6 13

3. pico-rocq pico-rocq Public

   Rocq Prover

4. eisopux/checker-framework-vscode eisopux/checker-framework-vscode Public

   Checker Framework for VS Code

   TypeScript 4 8

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

   Forked from eisopux/checker-framework-languageserver

   Checker Framework Language Server

   Java