protocol-specification topic
List
protocol-specification repositories
sia
126
Stars
8
Forks
Watchers
Sia - Binary serialisation and deserialisation
RecordFlux
102
Stars
6
Forks
Watchers
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
minecraft-bedrock-documentation
76
Stars
3
Forks
Watchers
Automatically generated protocol documentation, symbols list and entity ids list for Minecraft Bedrock Edition posted once a release or a beta is released
nuscr
25
Stars
12
Forks
Watchers
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
protocol
22
Stars
7
Forks
Watchers
Protocol specification for Moleculer Framework
IEC104-RTU-Simulator
19
Stars
2
Forks
Watchers
IEC104-RTU-Simulator