Ada

ada-asfstcarrez/ada-asf

A web application framework for Ada that implements the Java Server Faces (JSF) specification pattern.

gnatcoll-bindingsAdaCore/gnatcoll-bindings

Ada bindings to C libraries including GMP, Python, Readline, and Syslog for the GNAT Components Collection.

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.

dw1000damaki/DW1000

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

wasabeezertovitch/wasabee

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

alr2appimagemgrojo/alr2appimage

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

cmake-ada-offaoffa/cmake-ada

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

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.

adageatalii/adage

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

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.

ada-winrtAlex-Gamper/Ada-WinRT

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

adaglgodunko/adagl

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

coldframesimonjwright/coldframe

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

ada-compositiongerr135/ada_composition

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

covid-19-simulatorohenley/COVID-19_Simulator

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

stotpjklmnn/STOTP

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

template-parserAdaCore/templates-parser

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

axmppcoopht/axmpp

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

bingadajfuica/bingada

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

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).

si_unitsHeisenbugLtd/si_units

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

gnatcoll-jsonpersan/gnatcoll-json

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

excel-writerzertovitch/excel-writer

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

ini-fileszertovitch/ini-files

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

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.

automateBlady-Com/Automate

Generates Ada code from finite-state machine descriptions using text scripts.

continuous-verificationjklmnn/continuous-verification

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

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.

matstcarrez/mat

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

play-2048mgrojo/play_2048

A 2048 puzzle game implementation in Ada with customizable themes, multiple board sizes, and state saving.