org.checkerframework:checker-qual

Release 3.48.3

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.

Homepage Repository Maven Java Download

Keywords
java, types, verification
License
MIT

Documentation

The Checker Framework: pluggable type-checking for Java

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file docs/CHANGELOG.md.

Documentation for Checker Framework developers is in directory docs/developer/.

Stats

Dependencies
0
Dependent packages
2.08K
Dependent repositories
385
Total releases
134
Latest release
First release
Stars
1.03K
Forks
356
Watchers
44
Contributors
145
Repository size
224 MB
SourceRank
23

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

3.48.3
3.48.2
3.48.1
3.48.0
3.47.0
3.46.0
3.45.0
3.44.0
3.43.0
3.42.0
See all 134 releases

Contributors

Michael Ernst Werner Dietl Suzanne Millstein Jonathan Burke Javier Thaine Martin Kellogg solleks Mahmood Ali Stuart Pernsteiner Eric Spishak-Thomas renovate[bot] dependabot[bot] dependabot-preview[bot] Manu Sridharan Jeff Luo dbrosoft Vlastimil Dort James Yoo Weitian Xing Rashmi Mudduluru Konstantin Weitz wmdietlGC mischeifmanaged stephdietzel


See all contributors

Login to resync this project