Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–24 of 29 · Most stars
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
A Game Boy emulation library in Ada
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Ada support for OpenAPI code generator
Yet Another Static Site (Generator)
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
Ethernet traffic monitor on a STM32F746 board
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
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 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
Ada finite-state machine generator.
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer