Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada support for OpenAPI code generator
Yet Another Static Site (Generator)
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
The Corporate Bullshit Generator
- ada
- fun
- text-generation
- ada-language
Ada finite-state machine generator.
Code generator for Tiled the map editor
Generator of JUnit-compatible XML reports in Ada