Repository Index

Simulated railway network in SPARK/Ada

Behavior Driven Development in Ada

ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.

2048 game: merge equal tiles until you add up to 2048

• 2048-game
• ada
• sfml
• puzzle

Ada bindings for the MQTT broker mosquitto.

Ada EL - Expression Language Library (JSR245)

Ada binding for liblzma compression library

• lzma
• ada
• compression

Memory Analysis Tool

Ada bindings to the Microsoft NetFramework Api

• netframework
• ada-netframework
• gnat
• ada

Mars Polar Lander Simulation

A SDL front end in Ada for libgade

tools for writing lexers / parsers in Ada

• ada
• lexer
• reference-counting

Implementation of Midi / MidiFile reading and writing

• midi
• library
• ada

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

Utility programs for the encryption algorithms included in the PragmAda Reusable Components

• ada
• threefish
• xor
• encryption-decryption

An Ada 2012 library for document container files

• zip
• dcf
• archiving
• ada

TeXCAD: a simple LaTeX {picture} drawing tool

• tex
• latex
• ada
• ada-language

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

Ada packages for handling SI units of measure

Software controller for solenoid engines (Ada/STM32F4)

Chests are bounded containers

Ada OpenGL Framework

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

A Button Mania game written in Ada

• ada
• game
• gtkada