Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

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

java types verification

Last synced: about 2 months 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 (about 9 years ago)
Default Branch: master
Last Pushed: 2024-05-22T22:17:06.000Z (4 months ago)
Last Synced: 2024-05-22T22:19:16.188Z (4 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