binary-parser
A toolset for the 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.