A library for runtime checking of protocols - View it on GitHub