Repository Index

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

Waking up with a fresh cup of coffee

Simulated railway network in SPARK/Ada

Implementation of Midi / MidiFile reading and writing

• midi
• library
• ada

Ada packages for handling SI units of measure

Software controller for solenoid engines (Ada/STM32F4)

Easy to use logging facilities for output to console in Ada programs

A Button Mania game written in Ada

• ada
• game
• gtkada

A standalone lightweight auxiliary CLI video player support for BlackVideo.

• blackvideo
• sdl2
• video-player
• video-streaming

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

G2 network server leaf

Stream utilities for Ada2022.

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

Code generator for Tiled the map editor

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

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.

Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.

FreeType binding for Ada 2012

• language-bindings
• freetype
• ada

A pure Ada implementation of the SipHash PRF (mirror repository).

xxhash in ada