Open source repositories tagged with #compile-time-verification, ranked by health score.
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
