An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Repository Index
55,640 visible repositories in the index
25–46 of 46 · Most stars
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Easy to use logging facilities for output to console in Ada programs
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada implementation of D’Hondt electoral result calculator
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Convenience subprograms to interact with C strings
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
Supports functional testing using Tcl scripts.
Christoph Karl Walter Grein's Smart Pointers
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
SANCTA multi-robot task allocation library
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada