Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / typetools / checker-framework
Pluggable type-checking for Java
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typetools%2Fchecker-framework
Stars: 989
Forks: 347
Open Issues: 361
License: other
Language: Java
Repo Size: 223 MB
Dependencies:
0
Created: almost 9 years ago
Updated: 6 days ago
Last pushed: 6 days ago
Last synced: 6 days ago
Topics: java, types, verification
- master
- checker-framework-3.43.0
- checker-framework-3.42.0
- checker-framework-3.41.0
- checker-framework-3.40.0
- checker-framework-3.39.0
- checker-framework-3.38.0
- checker-framework-3.37.0
- checker-framework-3.36.0
- checker-framework-3.35.0
- checker-framework-3.34.0
- checker-framework-3.33.0
- checker-framework-3.32.0
- checker-framework-3.31.0
- checker-framework-3.30.0
- checker-framework-3.29.0
- checker-framework-3.28.0
- checker-framework-3.27.0
- checker-framework-3.26.0
- checker-framework-3.25.0
- checker-framework-3.24.0
- checker-framework-3.23.0
- checker-framework-3.22.2
- checker-framework-3.22.1
- checker-framework-3.22.0
- checker-framework-3.21.4
- checker-framework-3.21.3
- checker-framework-3.21.2
- checker-framework-3.21.1
- checker-framework-3.21.0
- checker-framework-3.20.0
- checker-framework-3.19.0
- checker-framework-3.18.1
- checker-framework-3.18.0
- checker-framework-3.17.0
- checker-framework-3.16.0
- checker-framework-3.15.0
- checker-framework-3.14.0
- checker-framework-3.13.0
- checker-framework-3.12.0
- checker-framework-3.11.0
- checker-framework-3.10.0
- checker-framework-3.9.1
- checker-framework-3.9.0
- checker-framework-3.8.0
- checker-framework-3.7.1
- checker-framework-3.7.0
- checker-framework-3.6.1
- checker-framework-3.6.0
- checker-framework-3.5.0
- checker-framework-3.4.1
- checker-framework-3.4.0
- checker-framework-3.3.0
- checker-framework-3.2.0
- checker-framework-3.1.1
- checker-framework-3.1.0
- checker-framework-3.0.1
- checker-framework-3.0.0
- checker-framework-2.11.1
- checker-framework-2.11.0
- checker-framework-2.10.1
- checker-framework-2.10.0
- checker-framework-2.9.0
- checker-framework-2.8.2
- checker-framework-2.8.1
- checker-framework-2.8.0
- checker-framework-2.7.0
- checker-framework-2.6.0
- checker-framework-2.5.8
- checker-framework-2.5.7
- checker-framework-2.5.6
- checker-framework-2.5.5
- checker-framework-2.5.4
- checker-framework-2.5.3
- checker-framework-2.5.2
- checker-framework-2.5.1
- checker-framework-2.5.0
- checker-framework-2.4.0
- checker-framework-2.3.2
- checker-framework-2.3.1
- checker-framework-2.3.0
- checker-framework-2.2.2
- checker-framework-2.2.1
- checker-framework-2.2.0
- checker-framework-2.1.14
- checker-framework-2.1.13
- checker-framework-2.1.12
- checker-framework-2.1.11
- checker-framework-2.1.10
- checker-framework-2.1.9
- checker-framework-2.1.8
- checker-framework-2.1.7
- checker-framework-2.1.7)
- checker-framework-2.1.6
- checker-framework-2.1.5
- checker-framework-2.1.4
- checker-framework-2.1.3
- checker-framework-2.1.2
- checker-framework-2.1.1
- after-reformatting
- before-reformatting
- checker-framework-2.1.0
- checker-framework-2.0.1
- checker-framework-2.0.0
- checker-framework-1.9.13
- checker-framework-1.9.12
- checker-framework-1.9.11
- checker-framework-1.9.10
- checker-framework-1.9.9
- checker-framework-1.9.8
- checker-framework-1.9.7
- checker-framework-1.9.6
- checker-framework-1.9.5
- checker-framework-1.9.4
- checker-framework-1.9.3
- checker-framework-1.9.2
- checker-framework-1.9.1
- checker-framework-1.9.0
- checker-framework-1.8.11
- checker-framework-1.8.10
- checker-framework-1.8.9
- checker-framework-1.8.8
- checker-framework-1.8.7
- checker-framework-1.8.6
- checker-framework-1.8.5
- checker-framework-1.8.4
- checker-framework-1.8.3
- checker-framework-1.8.2
- checker-framework-1.8.1
- checkers-1.8.0
- checkers-1.7.5
- checkers-1.7.4
- checkers-1.7.3
- checkers-1.7.2
- checkers-1.7.1
- checkers-1.7.0
- checkers-pre-dff
- checkers-1.6.7
- checkers-1.6.6
- checkers-1.6.5
- checkers-1.6.4
- checkers-1.6.3
- checkers-1.6.2
- checkers-1.6.1
- checkers-1.6.0
- checkers-1.5.0
- checkers-1.4.4
- checkers-1.4.3
- checkers-1.4.2
- checkers-1.4.1
- checkers-1.4.0
- checkers-1.4.0-b1
- checkers-1.3.1
- checkers-1.3.0
- checkers-1.2.7
- checkers-1.2.6
- checkers-1.2.5.1
- checkers-1.2.5
- checkers-1.2.4
- checkers-1.2.3
- checkers-1.2.2
- checkers-1.2.1
- checkers-1.2.0.1
- checkers-1.2.0
- checkers-1.1.5
- checkers-1.1.4
- checkers-1.1.3
- checkers-1.1.2.1
- checkers-1.1.2
- checkers-1.1.1
Files
Loading...
Readme
Loading...
No dependencies found