Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
Collection of basic math routines in Ada
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Software controller for solenoid engines (Ada/STM32F4)
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada