Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
The Corporate Bullshit Generator
- ada
- fun
- text-generation
- ada-language
An Ada Library for UUID generation.
- uuid
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis