Repository Index

Mars Polar Lander Simulation

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

Assembler/Emulator for Fictional YOTROC Architecture

• ada
• gtkada

Grammar handling and parser generation Ada library

• ada
• grammars
• parsing
• syntax-analysis

Extensions to the Tiny Lisp language for embedded applications

• ada
• lisp
• lisp-dialect
• lisp-interpreter

Ada implementation of D’Hondt electoral result calculator

An Ada implementation of XPath 1.0.

XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs

Genetic Algorithm Implementation for Ada

• generic
• algorithm
• ada
• library

Distributed Simulation of Transport Networks

Fully functional Hungarian Algorithm implementation in Ada

• hungarian-algorithm
• ada
• munkres
• kuhn

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

Supports functional testing using Tcl scripts.

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

The BLAKE2s hash function for SPARK83 [Ada (1987)]

• blake2
• blake2s
• ada
• hash

SANCTA multi-robot task allocation library

Trivial implementation of fletcher_16 sum computation algorithm.

Command-line utility that picks a file from a folder hierarchy with probability proportional to its size