Giters

freemanjp / 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).

Additional documentation for Checker Framework developers is in directory docs/developer/.

About

Pluggable type-checking for Java

http://checkerframework.org/

License:Other

Languages

Language:Java 96.6%Language:TeX 3.0%Language:Shell 0.2%Language:Makefile 0.1%Language:HTML 0.0%Language:Batchfile 0.0%