Ada

adasocketssamueltardieu/adasockets

BSD sockets implementation for the Ada programming language, providing portable network communication capabilities.

kafka-adaLatence-Technologies/Kafka-Ada

Ada bindings for the librdkafka C library, enabling Ada applications to produce and consume messages from Apache Kafka.

gnatcoll-dbAdaCore/gnatcoll-db

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

wasabeezertovitch/wasabee

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

dw1000damaki/DW1000

A formally verified SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband transceiver chip.

alr2appimagemgrojo/alr2appimage

Automatically creates AppImage executables from Alire crates for easy Linux distribution.

matreshkagodunko/matreshka

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

ada-lspreznikmm/ada-lsp

An implementation of the Language Server Protocol for the Ada programming language, enabling IDE features like auto-complete and goto definition.

libsodium-adajrmarino/libsodium-ada

Thick Ada bindings for libsodium, providing secure, portable cryptographic operations with NaCl's easy-to-use API.

cmake-ada-offaoffa/cmake-ada

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

tcl-ada-shellsimonjwright/tcladashell

Ada bindings to Tcl/Tk for implementing Tcl commands in Ada and developing platform-independent graphical user interfaces.

radalibsergio-gomez/Radalib

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

adaglgodunko/adagl

Ada binding for OpenGL and WebGL providing a unified interface for 2D/3D graphics across native and web platforms.

adageatalii/adage

A nimble alternative to doas and sudo for privilege escalation, designed to be simple, safe, and secure.

covid-19-simulatorohenley/COVID-19_Simulator

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

ada-winrtAlex-Gamper/Ada-WinRT

Ada language bindings for the Microsoft Windows WinRT API, enabling Windows Store and Desktop application development.

ada-compositiongerr135/ada_composition

A collection of Ada code examples demonstrating advanced type composition techniques for complex OOP hierarchies.

gnatcoll-jsonpersan/gnatcoll-json

A library providing JSON serialization/deserialization utilities for Ada standard containers and runtime types.

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.

si_unitsHeisenbugLtd/si_units

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

excel-writerzertovitch/excel-writer

A standalone Ada package for generating Excel spreadsheets from Ada applications.

axmppcoopht/axmpp

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

coldframesimonjwright/coldframe

Generates Ada framework code and documentation from UML models using XSLT transformations.

ada-chessadachess/AdaChess

A smart chess engine written from scratch in Ada, featuring legal move generation, statistical analysis, and real-time move annotation.

ada-servletstcarrez/ada-servlet

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

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.

continuous-verificationjklmnn/continuous-verification

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

geo-energy-mathpukpr/GeoEnergyMath

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

ada-bfdstcarrez/ada-bfd

Ada binding for GNU Binutils BFD library to read binary ELF and COFF files.