GitHub repository: reprogrammer/cascade
Primary language: Java
Description: A universal inference tool for type qualifiers in Java 8 (JSR-308)