Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–24 of 25 · Most stars
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
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.
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
An Ada 2012 library for document container files
- zip
- dcf
- archiving
- ada
Chests are bounded containers
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
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.