Ada/SPARK

The Special Interest Group on Ada.

Ada-Europe is an international organization, set up to promote the use of Ada.

Ada Forum at ada-lang.io.

News and resources for the Ada programming language.

News Aggregator from the Ada programming language world (v3) ([Ada-Planet v2 feed via Matrix][ada-planet-via-matrix]).

Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”.

An insight into the AdaCore ecosystem.

Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics.

Ada Usenet newsgroup/forum.

Ada channel at Gitter.

Ada at Hacker News.

Ada channel at IRC.

Ada room at Gitter via Matrix.

Ada at Stack Overflow.

Ada at Reddit.

Spark at Reddit.

Ada group at Telegram.

PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications.

Ada compiler written in Scala that targets LLVM.

Byron is a community project to build an Ada compiler, toolchain, and IDE-system.

Run GNAT FSF compilers interactively from your web browser and interact with the assembly.

Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83.

GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.

The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.

Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets.

HAC Ada Compiler - a small, quick Ada compiler fully in Ada.

Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.

Online compiler that provides multiple versions of GNAT to test with.

PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.

Online compiler built on the CodingGround engine.

XGC provide GCC-based bare-metal toolchains with Ada95 support for aerospace-specific targets such as MIL1750, ERC32 and LEON. As well as a legacy M68000 toolchain.

Ada Toolchains for GitHub Actions.

CMake macros for simple gnat project inclusion.

A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam.

A tool for automatically creating an AppImage executable from an Alire crate.

An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines.

CMake language support for Ada, fork of [plplot]'s cross-platform support code.

Ada language support for CMake.

SPARK formal verification automated with Travis CI.

Adacore multi-language software build tool.

Continuous integration server and agent that helps automate the building, testing and deployment.

Administration tool for Ravenports http://www.ravenports.com.

Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools).

TextMate support for Ada.

VSCode extension Ada programmers which provides a few utility functions.

Ada language integration for Visual Studio 2017.

Basic syntax highlighting for Ada and GPR.

Language Support for Ada. It includes [Language Server for Ada][ada-language-server].

BBEdit support for Ada.

Gnu Emacs major-mode for editing Ada sources.

LEA, a Lightweight Editor for Ada, aims to provide an easy, script-world-like, "look & feel" for developing Ada projects of any size and level, while enabling access to full-scale development tools like GNAT. LEA includes HAC, the HAC Ada Compiler.

Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files.

Maintained Ada Bundle : Complete Ada-Mode for Vim/NeoVim.

Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library.

A book going from beginner to advanced concepts in Ada 95, complete with source files.

A collection of programming tasks and their sample solutions in Ada.

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

Ada for the C++ or Java Developer.

Ada 95: The Craft of Object-Oriented Programming.

Ada 2012 crash course under 50 pages from Vermont Technical College.

Ada Distilled for Ada 2005.

For additional learning resources, see the AdaIC learning section.

A community site for Ada.

The “Ada horizon” logo maker website.

Safe and Secure Software. An invitation to Ada 2012.

Ada Programming book at Wikibooks.

AdaCore University Video Tutorials.

Standard Ada library specification as defined in Reference Manual.

Ada history key moments.

Ada Gem Archive.

The 2022 revision to the Ada Standard, usually known as Ada 2022.

Interactive learning platform designed to teach the Ada and SPARK programming languages.

Learning Ada 2012 by writing simple games.

Collection of verified functions and data types in SPARK.

Implementation Guidance for the Adoption of SPARK.

Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports Postgresql, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM.

Ada Server Faces allows to create web applications using the same pattern as the Java Server Faces (See JSR 252, JSR 314 and JSR 344).

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada.

Id Software's Id-tech-4-BFG in the Ada programming language.

This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL).

A4A is a framework for designing industrial automation applications using the Ada language.

GUI implemented on its own task, so it doesn't require that its client give up a thread of control. Derived from [gnoga].

Ada OpenGL Framework.

OAuth 2.0 client and server framework to secure web applications.

Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315).

A logging framework close to Java log4j framework, support for properties, serialization/deserialization framework for XML/JSON/CSV, Ada beans framework, encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA), a composing stream framework (raw, files, buffers, pipes, sockets), several concurrency tools (reference counters, counters, pools, fifos, arrays), process creation and pipes, support for loading shared libraries (on Windows or Unix), HTTP client library on top of CURL or AWS.

Ada Wiki is a small library that provides a Wiki engine.

GUI based on [adawebpack].

Ahven is a simple unit test library and framework for the Ada programming.

Collection of packages provided for design of high-quality industrial control widgets for Ada applications.

Alog is a stackable logging framework for Ada.

Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer.

APQ is a database interface library written in Ada95.

Ada binding to the readline library.

A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder.

Ada unit testing framework.

Ada Web Application is a framework to build a Web Application in Ada 2012. The framework provides several ready to use and extendable modules that are common to many web application. This includes the login, authentication, users, permissions, managing comments, tags, votes, documents, images.

AWS is a complete framework to develop Web based applications in Ada.

Simple tool to black box check the behavior of an executable through the command line.

CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows.

Advanced UNIX Terminal UI Ada Binding Package.

Code generator used to generate an Ada Web Application or database mappings from hibernate-like XML description, YAML doctrine model or UML models.

Logging framework for embedded systems absent of runtime errors.

A 3D engine for DOS-talgics.

Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler.

Ada-2012 binding to FLTK (Fast Light Toolkit).

Fuzzy machine learning framework.

GL Object Based Engine for 3D.

Behavior Driven Development in Ada.

This is the bindings module of the GNAT Components Collection.

This is the core module of the GNAT Components Collection.

This is the DB module of the GNAT Components Collection.

This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components.

Gneiss is an interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the [ada-runtime].

The GNU Omnificent GUI for Ada.

Ada graphical toolkit based on Gtk3 components.

GNU Ada Visual Interface.

Ada binding of the ImGui library.

A set of Ada components to allow 3D simulations, games and GUI's in Ada.

Bindings to the Linenoise line-editing library (patched to support UTF-8).

Matreshka is an Ada framework to develop information systems consisting of five major components: League, XML processor, Web framework, SQL access, and the Modeling framework.

Ada95 bindings for ncurses.

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards.

Ada-2012 port to Qt 6 framework.

Supports functional testing using Tcl scripts.

ASN.1, MQTT client and server/broker implementation, B-trees, Multiple connection TCP servers, Chebyshev series, Mutexes, Cryptography, Objects and handles to, Doubly-linked webs and lists, ODBC bindings, Blackboards (lock-free), OpenSSL bindings, ELV/eQ-3 MAX! client implementation, Parsers, Events (plain, pulse, array of), Persistent objects and handles to, GNUTLS bindings, Persistent storage and handles to, Graphs (directed, weighted, acyclic, trees), Pools, HTTP implementation, Sets and maps, FIFO (l...

Ada support for Swagger codegen: OpenAPI Generator is a code generator that supports generation of API client libraries, server stubs and documentation automatically given an OpenAPI Spec.

Ada-2012 port to VTK 8.1 (Visualization Toolkit).

AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux.

AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes.

Bingo application in [gtkada].

A simple [gtkada] Button Mania game.

Civilization-style turn-based strategy game. Requires [asfml].

A simple Turn-based Game in Ada (made with raylib).

Mine Detector: a mine-finding game that never requires guessing.

Pasta! is a game of the "match-3" genre, implemented in [gnoga].

Play 2048! is a clone of the popular 2048 game, implemented in Ada using [asfml] for graphics and [ada-toml] for saving state.

Space Invaders, Pacman, & Frogger games that run in a terminal on Windows, OS-X & Linux.

RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister).

Roguelike in sky with a steampunk setting.

A tictactoe game written and proven in SPARK/Ada.

Tetris, in Ada, for the Unity game engine.

This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux.

Ada drivers for various MCU and sensors.

Embedded network stack (Ethernet driver, IPv4, UDP, DNS, DHCP, NTP) for STM32F746 or STM32F769.

Simple audio synthesis library that can run on bareboard devices.

Ada binding for the Pebble Time smartwatch.

A component-based, model-driven framework for constructing reliable and reusable real-time software.

Source code for the full Ada + SPARK Crazyflie 2.0 firmware.

Waking up with a fresh cup of coffee.

Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.

emBRICK driver and support for emBRICK in Ada.

Ethernet traffic monitor on a STM32F746 board.

Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.

GESTE is a sprite and tile 2D render engine designed to run on micro-controllers.

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

A graphics initialization (aka modesetting) library for embedded environments, implemented in SPARK.

Program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer.

Raspberry Pi using a BBC Micro:Bit as temperature sensor.

This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.

Square Inch Synthesizer.

Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.

Robotics with Ada, ARM, and Lego.

SANCTA multi-robot task allocation library.

This project shows how to initialize a SensorTile and how to send sensor data over BLE from a SensorTile to a suitable host.

Software controller for solenoid engines (Ada/STM32F4).

Simulated railway network in SPARK/Ada.

STM32 UI library and tools (graphs, images, 12 hour clock).

An Ada binding generator from SVD descriptions for bare board ARM devices.

A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.

Wee Noise Maker is an open source pocket synthesizer.

Ada bindings for wiringPi.

Stream utilities for Ada2005 and 2012.

A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.

Ada Bar Codes provides a package for generating various types of bar codes (1D, or 2D like QR codes) on different output formats, such as PDF or SVG.

An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

Various binary-to-ASCII codecs such as Base64.

Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.

This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture.

A fuzzy inference system library for Ada.

Genetic Algorithm Implementation for Ada.

Simple Ada library for generating UUIDs.

NLS thin Ada binding (gettext (3), textdomain (3), bindtextdomain (3)).

Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.

Magic Number Recognition Library Ada binding (libmagic (3)).

Ada Binding for the libsecret library.

Embeddable Lisp interpreter.

Language Server Protocol for Ada.

Prototype implementation of LSP client - Visual Studio 2017.

Ada binding for Lua.

Ada binding for liblzma compression library.

Implementation of Midi / MidiFile reading and writing.

Ada bindings to NanoVG.

Ada bindings to the Microsoft NetFramework Api.

Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG).

Pretty printing library for Ada.

Implementing promises in Ada. Type-safe, efficient, thread-safe.

Small Library for Sodoku grid solving / finding.

Ada bindings for libsoundio.

Sound Synthetizer Library implemented in Ada.

TOML parser for Ada.

Generic Ada Library for Algorithms and Containers.

Ada Posix Binding to Video 4 Linux, used for RPI.

Ada bindings for the Microsoft Win32 Api.

Ada bindings for the Microsft WinRT Api.

Experimental YAML 1.3 implementation in Ada.

Gnutella2 (G2) network server leaf.

Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WASM/WebGL).

Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.

This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too.

IPv4 socket library (TCP, UDP, and multicast).

ADHCP is an implementation of the DHCP protocol in Ada.

Ada scanner and parser generators.

Embeddable Forth interpreter written in Ada.

Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

Grammar handling and parser generation Ada library.

Anet is a networking library for the Ada programming language.

Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.

Ada binding to the Simple and Fast Multimedia Library.

Reference counting approaches to resource management.

With the AXMPP library you can connect to a Jabber server to send and receive messages.

Ada binding for Z3.

Base58 encoding and decoding in Ada.

SPARK83 implementation of the BLAKE2s hash function.

Ada binding to the Boehm-Demers-Weiser conservative garbage collector.

The Ada 95 Booch components are a port of Grady Booch's C++ components.

Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications.

Charles is an Ada 95 container library, precursor to Ada 2005+ standard containers.

Chests are bounded containers.

Ada bindings to the Lua language.

Ada binding to OpenAL.

Convenience subprograms to interact with C strings.

CUDA support from AdaCore.

CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model.

Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.

The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system.

An Ada 2012 library for document container files (Based on [zip-ada]).

Deepend is a storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95.

Deque/buffer generics that consist of building blocks that may be combined in various ways to create higher abstraction buffers.

Minimal binding to libdl.

Create Excel files with basic formats.

Trivial implementation of fletcher_16 checksum computation algorithm.

POSIX Ada binding, IEEE Standards 1003.5(b,c).

FreeType binding for Ada 2005.

Ada code analyzer.

Multi-format image decoder library for Ada.

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

Portable implementation of getopt(3) in Ada.

Ada binding to the fast Stachniss' Hungarian solver.

Hungarian Algorithm implementation in Ada.

Incremental analysis in Ada.

The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.

An Ada 2012 library for monitoring filesystem events using Linux' inotify API.

An Ada 2012 library for parsing JSON.

A formally verified JSON library in SPARK.

Binding for the C librdkafka library, allows sending and receiving from a Kafka bus.

Interface to dense linear algebra packages.

Libadalang is a library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static analyzers, etc).

A SPARK implementation of the Keccak family of sponge functions and related constructions.

A secure cryptographic library (libsodium for Ada).

A cryptographic library implemented in SPARK.

Open Source Licenses library for Ada.

Provides GCC 'specs' files to cope with SDK policy changes.

Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless).

Collection of basic math routines in Ada.

Mathpaqs is a collection of mathematical, 100% portable, packages in the Ada programming language.

Compute the N-th root of a matrix.

Binding for the MQTT broker Mosquitto.

NBAda : An Ada library of lock-free data structures and algorithms.

An Ada binding for the OpenCL host API.

Thick Ada binding for OpenGL and GLFW.

Ada 2012 bindings for the Opus audio codec.

Ada binding to OpenAL which tries to mimic original API while using Ada types.

A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems.

Simple command-line argument parsing.

Tools for writing lexers / parsers in Ada.

PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API.

Ada bindings for the player robotic platform.

Cross-platform, scientific graphics plotting library, including an Ada binding.

A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds.

PragmAda Reusable Components (PragmARCs) from PragmAda S/W Engineering.

A Google Protocol Buffers implementation in Ada, using [matreshka].

Experimental Ada code generation support for Google Protocol Buffers.

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

Ada client library for ROS2/RCL.

Task pool system for jobs.

Command-line utility that picks a file from a folder hierarchy with probability proportional to its size.

An Ada 2012 implementation of the Rx methodology.

SAL (Stephe's Ada Library).

Scala is a powerful software tool for experimentation with musical tunings, such as just intonation scales, equal and historical temperaments, microtonal and macrotonal scales, and non-Western scales.

Ada 2012 bindings to SDL 2.

SI units checked and unchecked.

Simple blockchain in Ada.

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

A pure Ada implementation of the SipHash PRF.

Utility library to pretty print physical values in proper metric units.

Simple Layer 3 Protocol.

A package providing a reference-counted access type Smart_Pointer.

SPARK 2014 re-implementation of the TweetNaCl crypto library.

Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.

Ada/SPARK implementation of the SipHash keyed hash function.

A formally verified XML library in SPARK.

An extensible template engine akin to jinja but using [template-parser] and intended for command line usage.

Timed One-Time-Pad (RFC 6238) implementation in SPARK.

Small Ada library that helps in writing safer suid programs.

Tashy is short from Tcl Ada SHell Younger. It is derivate of Tash, focused mostly on Tk binding.

Tashy2 is short from Tcl Ada SHell Younger. It is derivate of Tashy, and aims to be more idiomatic and uses a more permisive license.

Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk.

AWS templates engine.

Ada Implementation of the Threefish-256 Encryption Algorithm.

Bindings to the libtls TLS/SSL library.

Wrappers for various client/server and pub/sub messaging protocols (AMQP, STOMP and ZeroMQ), focusing exclusively on text message communications.

Library to manage units of measurement with dimension checking.

URI and MIME parser & manipulation library.

Unicode extended strings.

A complete Vulkan 1.1 thick binding for Ada 2012.

Ada 2012 library for WeeChat plug-ins.

A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra.