v2.0.2
Encourages programming with assertions by providing tools to compile them away
Source code on GitHub