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
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.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Ada-language framework
- ada
- ada-language
- arm
- avr
Ada support for OpenAPI code generator
An attempt at a minimalistic and secure operating system.
Yet Another Static Site (Generator)
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Administration tool for Ravenports
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
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
AdaChess is a smart chess engine written from scratch in the Ada programming language
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files
Ada finite-state machine generator.
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Code generator for Tiled the map editor
RISC-V 64-bit Kernel written in Ada
Raspberry Pi using a BBC Micro:Bit as temperature sensor