Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A general purpose packet marshaling library
Schweitzer Engineering Laboratories (SEL) Protocol Bindings in Python
Network Archaeology library
