Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
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.
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK formal verification automated with Travis CI
Waking up with a fresh cup of coffee
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Ada bindings of Turbo Pascal 7.0 units with GTKAda.
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
Convenience subprograms to interact with C strings
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size