GitHub repository: Bohdankm22/checker-framework
Primary language: Java
Description: Pluggable type-checking for Java