There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Ada_GUI
An Ada-oriented GUIPragmARC
The PragmAda Reusable ComponentsCoding_Standard
PragmAda Coding StandardEncryption-utilities
Utility programs for the encryption algorithms included in the PragmAda Reusable ComponentsSparkRC
SPARK Reusable ComponentsControlled_IO
Files that are open while they exist and closed when they don'tQplt
An Ada-GUI program to quickly produce a plot of a data setAoA_22
Advent of Ada 22 SolutionsMP
A Music PlayerPapers
Technical articles by Jeffrey R. CarterImage_Random
True random numbers from a digital cameraImage_IO
Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formatsCRC-32
Cyclic Redundancy Check to verify data integrity (ISO 3309)Mine_Detector
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging gameKing
An informal decsription of the King software-engineering languageTic-Tac-Toe
A Gnoga program to play Tic-Tac-ToeLined
Ada Implementation of the Line Editor from Software ToolsZ_Compression
Standalone version of the Zlib Deflate compression algorithm, derived from de Montmollin's Zip-AdaBinary_Trees
Ordered binary trees implemented without access typesLove Open Source and this site? Check out how you can help us