https://github.com/typetools/checker-framework

Pluggable type-checking for Java
https://github.com/typetools/checker-framework

java types verification

Last synced: 15 days ago
JSON representation

Pluggable type-checking for Java

• Host: GitHub
• URL: https://github.com/typetools/checker-framework
• Owner: typetools
• License: other
• Created: 2015-07-03T11:09:17.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2024-05-22T22:17:06.000Z (11 months ago)
• Last Synced: 2024-05-22T22:19:16.188Z (11 months ago)
• Topics: java, types, verification
• Language: Java
• Homepage: http://checkerframework.org/
• Size: 223 MB
• Stars: 989
• Watchers: 42
• Forks: 347
• Open Issues: 361
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.txt

Awesome Lists containing this project

• awesome-java - Checker Framework