Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
65,764 visible repositories in the index
1–6 of 6 · Most stars
Source repository for the GNAT Bare Metal BSPs
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.