GNATcoverage: Coverage Analysis Tool
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
The PragmAda Reusable Components
Simple to use cross-platform BDD driver for black box testing
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.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption