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