Repository Index

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

Binary parser for Crystal

• binary-parser
• crystal
• crystal-binary-parser