Encourages programming with assertions by providing tools to compile them away. - View it on GitHub