GNAT

ux-stringsBlady-Com/UXStrings

A Unicode string library for Ada that adapts internal representation to content, supporting multiple encodings without programmer choice.

opencl-adaflyx/OpenCLAda

An Ada binding for the OpenCL host API, enabling OpenCL host programming in Ada.

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.

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.

matreshkagodunko/matreshka

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

covid-19-simulatorohenley/COVID-19_Simulator

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

radalibsergio-gomez/Radalib

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

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.

ini-fileszertovitch/ini-files

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

stotpjklmnn/STOTP

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

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.

ada-servletstcarrez/ada-servlet

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

continuous-verificationjklmnn/continuous-verification

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

bingadajfuica/bingada

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

coap-sparkmgrojo/coap_spark

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

geo-energy-mathpukpr/GeoEnergyMath

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