4 results found Sort:

pouya-eghbali
sia pouya-eghbali
8
131
unknown
7
Sia - Binary serialisation and deserialisation
sia binary compiler encoding serialization deserialisation protocol-specification
Created 2020-08-30
92 commits to master branch, last one 4 days ago
reproto
reproto reproto
9
121
apache-2.0
3
Rethinking Protocols
dsl idl java json rust swift csharp python javascript protocol-specification language-server-protocol
Created 2017-05-10
1,054 commits to main branch, last one about a year ago
AdaCore
RecordFlux AdaCore
7
106
apache-2.0
12
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
ada spark parser python binary-parser formal-methods protocol-parser formal-verification formal-specification communication-protocol protocol-specification
Created 2018-02-07
3,356 commits to main branch, last one 3 days ago
MisteFr
minecraft-bedrock-documentation MisteFr
3
77
unknown
13
Automatically generated protocol documentation, symbols list and entity ids list for Minecraft Bedrock Edition posted once a release or a beta is released
symbols-collection protocol-specification minecraft-bedrock-edition
Created 2018-07-26
241 commits to master branch, last one 3 years ago