GitHub topics: checker-framework

Pluggable type-checking for Java

Language: Java - Size: 221 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 22 - Forks: 24

Checker Framework Language Server Downloader

Language: Java - Size: 486 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 5

Checker Framework Language Server

Language: Java - Size: 1.39 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 7

Bug is fixed! Code that triggers a crash of the checker-framework described in issue #469

Language: Java - Size: 7.81 KB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Checker Framework Extensions

Language: Java - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

✅ Resource checker for the checker framework.

Language: Java - Size: 389 KB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

After downloading the application, all you have to do is click the add account button and add your riot account.Now,

Language: C# - Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Demonstration Code for Issue @typetools/checker-framework#5323

Language: Kotlin - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Test usage of checker-framework with an Android Studio 3.1 project

Language: Java - Size: 167 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

Related Keywords

ecosyste.ms