Repository Index

Context-based code search tool

• septum
• text
• search-in-text
• grep

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

An Ada-oriented GUI

Embeddable Forth interpreter written in Ada

• ada
• forth
• interpreter

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

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem

• sound
• synthetizer
• wav
• win32mm

Ada interface to the readline library

An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

Boehm GC interface library for gcc-Ada (GNAT)

This is an Ada 2012 package that provides an interface to BLAS.

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

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

Convenience subprograms to interact with C strings

Christoph Karl Walter Grein's Smart Pointers

This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.