Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada support for OpenAPI code generator
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
Yet Another Static Site (Generator)
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
GEneric Sprite and Tile Engine
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
An Ada Library for UUID generation.
- uuid
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Ada finite-state machine generator.
Ada General Purpose Library -- Miscellaneous utilities
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Code generator for Tiled the map editor
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
Generator of JUnit-compatible XML reports in Ada