Giters

ek08 / checker-framework

Pluggable type-checking for Java

Home Page:http://checkerframework.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

The history of releases and changes is in file changelog.txt.

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

About

Pluggable type-checking for Java

http://checkerframework.org/

License:Other

Languages

Language:Java 94.1%Language:TeX 5.4%Language:Shell 0.4%Language:Makefile 0.1%Language:Batchfile 0.0%