Id Software's Id-tech-4-BFG in the Ada programming language.
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Easy to use logging facilities for output to console in Ada programs
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Convenience subprograms to interact with C strings
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.