TOPL is a runtime verifier of temporal properties for Java programs.
HomeworkEval is a web application I used to quickly grade programming homeworks.
jStar is a Java program verifier that uses separation logic for annotations. The main authors are Matthew Parkinson and Dino Distefano; I used to help improve it. (You should use Facebook's Infer, though.)
CLOPS is a domain specific language, a tool, and a library that make it easy to write Java programs with a command line interface. I contributed to its design.
Last updated: 18 December 2016