Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada