Werner Dietl's repositories
checker-framework
Pluggable type-checking for Java
Language:JavaNOASSERTION000
annotation-tools
Tools for type annotations in Java
Language:JavaMIT000
plume-lib
A library of useful abstractions for programming
Language:Emacs Lisp000