Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
`iofree` is an easy-to-use and powerful library to help you implement network protocols and binary parsers.
