GNAT

ada-timeFabien-Chouteau/Ada_Time

Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.

cursesannexi-strayline/Curses

A high-level, task-safe Ada binding for ncurses with automatic rendering, color management, and multi-terminal support.

cbsgzertovitch/cbsg

A high-performance random text generator focused on corporate language, producing AI-inspired business jargon.

ada-idanthony-arnold/AdaID

An Ada library for generating UUIDs with support for random, name-based, and string-conversion operations.

wasabeezertovitch/wasabee

A web browser fully written in Ada with a focus on safety, currently in early development.

matreshkagodunko/matreshka

An Ada framework for developing information systems, providing core components, XML processing, web services, database access, and modeling tools.

gnatcoll-dbAdaCore/gnatcoll-db

A collection of Ada database components providing SQL database access and abstraction layers.

cmake-ada-offaoffa/cmake-ada

Adds Ada language support to CMake for building Ada applications and libraries.

radalibsergio-gomez/Radalib

An Ada library and toolset for complex network analysis, featuring community detection, partition comparison, and network property calculations.

covid-19-simulatorohenley/COVID-19_Simulator

A multi-engine COVID-19 simulator with Ada and Qt5, implementing Lancet and XPH Pharmaceutical models.

axmppcoopht/axmpp

An XMPP client library written in Ada for connecting to Jabber servers to send and receive messages.

spark-norxjhumphry/SPARK_NORX

An Ada/SPARK implementation of the NORX authenticated encryption algorithm, formally verified for security.

stotpjklmnn/STOTP

A formally verified TOTP library for two-factor authentication, implemented in SPARK with runtime error guarantees.

bingadajfuica/bingada

A simple bingo application built with GtkAda for playing at home, featuring manual/auto play, card checking, and multi-language support.

ada-servletstcarrez/ada-servlet

A web servlet library for Ada that implements the Java Servlet specification (JSR 154, JSR 315).

ini-fileszertovitch/ini-files

A standalone, portable Ada package for reading and modifying configuration files in the INI format.

si_unitsHeisenbugLtd/si_units

An Ada library for formatting physical values with proper metric (SI) unit scaling and prefixes.

template-parserAdaCore/templates-parser

An Ada library and tool for creating templated text streams like dynamic HTML documents.

geo-energy-mathpukpr/GeoEnergyMath

Ada software libraries for solving mathematical models from the book Mathematical GeoEnergy.

continuous-verificationjklmnn/continuous-verification

Automatically prove Ada/SPARK software correctness using Travis CI for continuous verification.

coap-sparkmgrojo/coap_spark

A formally verified implementation of the Constrained Application Protocol (CoAP) in SPARK/Ada, ensuring correctness for constrained IoT devices.

matstcarrez/mat

A memory analysis tool that instruments programs via LD_PRELOAD to collect and analyze allocation events, helping identify memory usage patterns.

gnatbddbriot/gnatbdd

A library providing Behavior Driven Development (BDD) support for Ada, enabling tests written in English before implementation.

coffee-clockFabien-Chouteau/coffee-clock

An STM32-based alarm clock that automatically brews espresso to wake you up with fresh coffee.

florist-bladyBlady-Com/florist

POSIX Ada Bindings implementing IEEE Standards 1003.5 for Ada programming language.

spark-railway-demoFabien-Chouteau/spark-railway-demo

A railway network simulation with SPARK/Ada-proven signaling to prevent train collisions.

az3Componolit/AZ3

Ada binding to the Z3 theorem prover for formal verification and constraint solving.

ada-midifrett27/Ada-Midi

An Ada library for reading, writing, and generating MIDI files and events.

ada-net-frameworkAlex-Gamper/Ada-NetFramework

Ada language bindings for the Microsoft .NET Framework API, enabling Ada developers to access .NET functionality.

threefishjrcarter/Threefish

Command-line utilities for encrypting and decrypting files using Threefish and XOR encryption algorithms.

spark-sip-hashjhumphry/SPARK_SipHash

A verified Ada/SPARK implementation of the SipHash keyed hash function for hash-flooding DoS protection.

tp7-ada-gnogaBlady-Com/tp7ada-gnoga

Ada bindings for Turbo Pascal 7.0 units using the Gnoga framework to facilitate Pascal-to-Ada translation.

lalgjhumphry/LALG

An Ada 2012 package providing a modern interface to BLAS for dense linear algebra operations with slice/block views.

chestsJeremyGrosser/chests

Chests provides bounded containers (stacks and ring buffers) for embedded systems without dynamic memory allocation.

ada-soundioraph-amiard/ada-soundio

Ada language bindings for the libsoundio cross-platform audio input/output library.

railway-simulationAdaCore/SPARK_Railway_Simulation_Demo

A railway network simulation with a SPARK/Ada-proven signaling system that guarantees collision avoidance.