Repository Index

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

Ini file manager: a standalone, portable Ada package for configuration files

• ada
• ada-language
• ini-parser
• cfg-files

Ada EL - Expression Language Library (JSR245)

Ada binding for liblzma compression library

• lzma
• ada
• compression

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

The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game

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.

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

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