Repository Index

An Ada Library for UUID generation.

• uuid

GNAT Components Collection – Bindings to C libraries

Apache Kafka Ada client library, based off of librdkafka

Mathpaqs: a collection of mathematical packages in pure Ada

• ada
• ada-language
• math-library
• ada-library

Tool for building a Linux package from an Alire crate

• alire
• appimage
• packaging
• ada

Language Server Protocol for Ada

Ada library and tools for the analysis of Complex Networks and more

A collections of small nifty demos/sample code that may help better layout data or structure project

ColdFrame generates Ada framework code and documentation from UML models.

• argouml
• ada

Formally verified implementation of the CoAP protocol in SPARK/Ada

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

The repository host gives no description.

Ada Servlet - Web Servlet Library following JSR 154, JSR 315

• web
• servlet
• servlet-filter
• ada

Giza is trying to be a simple widget tool kit for embedded platforms

Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)

Memory Analysis Tool

Mars Polar Lander Simulation

tools for writing lexers / parsers in Ada

• ada
• lexer
• reference-counting

TeXCAD: a simple LaTeX {picture} drawing tool

• tex
• latex
• ada
• ada-language

Software controller for solenoid engines (Ada/STM32F4)

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

Small Library for Sodoku grid solving / finding

• ada
• bignumber
• ada-sodoku
• combinatory-library

STM32 UI library and tools

• stm32
• ada
• ui
• display

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

Stream utilities for Ada2022.