GitHunt
LA

lazaroclapp/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/.

Languages

Java94.1%TeX5.1%Shell0.7%Makefile0.1%Batchfile0.0%
Other
Created August 29, 2017
Updated June 8, 2022