General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
1–5 of 5 · 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
An Ada 2012 library for document container files
- zip
- dcf
- archiving
- ada
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada