GitHub repository: Ao-senXiong/checker-framework-inference
Primary language: Java
Description: Inference of pluggable types for Java