zenixan/checker-framework
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Please see the Checker Framework manual. It appears in this repository (after you run `make -C checker/manual`): * checker/manual/manual.html * checker/manual/manual.pdf Prebuilt versions also appear on the web: * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.pdf
Languages
- Java 86.7%
- TeX 10.3%
- HTML 1.6%
- Python 0.9%
- Shell 0.3%
- Makefile 0.2%