Sia - Binary serialisation and deserialisation
Formal specification and generation of verifiable binary parsers, messag...
Automatically generated protocol documentation, symbols list and entity...