User Experience on mobile might not be great yet, but I'm working on it.

Your first time on this page? Allow me to give some explanations.

Awesome Ada/SPARK

A curated list of awesome resources related to the Ada and SPARK programming language

Here you can see meta information about this topic like the time we last updated this page, the original creator of the awesome list and a link to the original GitHub repository.

Last Update: Oct. 19, 2021, 6:07 a.m.

Thank you ohenley & contributors
View Topic on GitHub:
ohenley/awesome-ada

Search for resources by name or description.
Simply type in what you are looking for and the results will be filtered on the fly.

Further filter the resources on this page by type (repository/other resource), number of stars on GitHub and time of last commit in months.

Entry Point

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

Tutorials

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

118
13
2y 9m
n/a

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

Learning Ada 2012 by writing simple games.

Online books

Ada Programming book at Wikibooks.

Ada 95: The Craft of Object-Oriented Programming.

Implementation Guidance for the Adoption of SPARK.

Safe and Secure Software. An invitation to Ada 2012.

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

Specialties

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

3
0
1y 10m
BSD-2-Clause

For additional learning resources, see the AdaIC learning section.

Reference

Standard Ada library specification as defined in Reference Manual

6
0
3y 101d
n/a

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

Questions and Answers

News and Resources

An insight into the AdaCore ecosystem.

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

The Special Interest Group on Ada.

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

News and resources for the Ada programming language.

GPL (no linking exception)

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.

GPL (with linking exception)

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.

Other / unknown licence

HAC Ada Compiler: an experimental Ada compiler, fully in Ada

47
1
8m
n/a

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

44
1
1y 5m
n/a

Commercial / Open source

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

Commercial / Closed source

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

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

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

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

xgc

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.

Online

Online compiler built on the CodingGround engine.

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

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

Integrated Development Editor

Ada language integration for Visual Studio 2017.

Editors

LEA is a Lightweight Editor for Ada

9
1
9m
n/a

Text Modes

Maintained complete Ada-Mode for Vim/NeoVim

4
0
8m
n/a

TextMate support for Ada

7
7
6y 5m
n/a

Gnu Emacs major-mode for editing Ada sources.

VSCode Extensions

Basic syntax highlighting for Ada and GPR

1
1
3y 26d
n/a

VSCode extension for Ada.

0
1
1y 11m
n/a

Build and Package

Command-line tool from the Alire project and supporting library

105
21
7m
GPL-3.0

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

45
13
7m
n/a

Administration tool for Ravenports

14
2
8m
ISC

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

220
10
8m
ISC

cmake macros for simple gnat project inclusion

2
2
1y 35d
GPL-3.0

Ada language support for CMake.

10
4
6y 11m
GPL-3.0

cmake language support for ada, fork of PLplot's cross-platform support code: http://plplot.sourceforge.net/

0
0
3y 7d
n/a

Continuous Integration

SPARK formal verification automated with Travis CI

6
0
2y 4m
GPL-3.0

GitHub action to setup an Ada/SPARK dev environment

11
4
4m
MIT

Runtimes

Source repository for the GNAT Bare Metal BSPs

43
39
1y 55d
n/a
26
2
1y 59d
n/a

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

37
5
8m
GPL-3.0

Ada WASM Runtime and Bindings for Web API

19
0
8m
n/a

GNAT for 8-bit AVR microcontrollers.

OS and Kernels

A secure and high performances microkernel for building secure MCU-based IoTs

57
8
1y 4d
Apache-2.0

Ada Bare Bones OS development tutorial source code

68
13
4y 11m
n/a

Operating System development experiment in Ada

23
3
11m
n/a

An attempt at a minimalistic and secure operating system.

10
0
9m
GPL-3.0

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

58
3
11m
GPL-3.0

RTOS with simple tasking support for small microcontrollers.

MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.

An x86/64 Separation Kernel for High Assurance.

Lovelace is an effort to write a Unix like operating system using the Ada 2012 language.

Ada_KALINDA is a sort of Mac Plus like OS written in Ada95.

Games

A tictactoe game written and proven in SPARK

1
5
4y 81d
BSD-3-Clause

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OS-X, & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.

16
1
11m
GPL-3.0

RufasCube is a 3D slider puzzle for Windows, OS-X, & most Linux distros. It looks like a rubic cube but it's a slider, not a twister.

3
0
7m
GPL-2.0

AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.

4
0
11m
GPL-3.0

Limited support: Fun puzzle games that run on any terminal on any os. THESE ARE NOW ESSENTIALLY INCLUDED IN COTERMINALAPPS.

9
1
2y 50d
GPL-3.0

Retro ASCII Puzzles plus Pacman & Frogger arcade games that run in a terminal on any platform. Now with sound...but still extremely portable.

5
1
8m
GPL-3.0

MiniPac is a kid friendly ascii character version of Pacman that plays in a commandline terminal. Also runs on Windows & OSX. NEWER VERSION INCLUDED IN COTERMINALAPPS.

6
1
1y 8m
GPL-3.0

This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and most Linux distros; featuring voice of Andres Cantor! Includes moderately capable, interactive autosolver.

2
0
8m
GPL-3.0

A Button Mania game written in Ada

2
0
2y 4m
GPL-3.0

The Gnoga version of Mine Detector, an intellectually-challenging game

0
0
2y 49d
n/a

Roguelike in sky with a steampunk setting.

Tetris, in Ada, for the Unity game engine.

Pasta! is a game of the "match-3" genre.

Components

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

33
5
1y 70d
n/a

GNAT Components Collection – Core packages

34
21
8m
n/a

GNAT Components Collection – Bindings to C libraries

5
14
10m
n/a

GNAT Components Collection – Database packages

11
14
9m
n/a
5
0
1y 80d
n/a

Framework for platform-independent SPARK components

15
3
1y 4m
AGPL-3.0

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

11
0
8m
ISC

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 (lock-free), SMTP client implementation, IEEE 754, SQLite bindings, Inter-process communication, Stacks, Interfacing Julia language, Streams, JSON, Strings editing, LDAP, Tables (maps of strings), MODBUS client implementation, Unbounded arrays.

Distributed

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

18
11
10m
n/a

Graphical User Interface

GWindows: GUI framework for MS Windows

6
2
8m
n/a

Ada bindings for the GTK+ graphical library.

64
17
10m
n/a

The GNU Omnificent GUI for Ada.

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

Ada-2012 port to QT 5 framework.

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

Terminal User Interface

Advanced UNIX Terminal UI Ada Binding Package

10
0
1y 5m
n/a

3D

GLOBE_3D: a real-time 3D Engine written in Ada

10
2
1y 86d
n/a

Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !

2
0
3y 10m
n/a

Ada OpenGL Framework

2
0
5y 10m
n/a

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

215
23
8m
n/a

Database

Ada Database Objects

17
3
8m
Apache-2.0

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

19
2
5y 94d
ISC

APQ is a database interface library written in Ada95.

Web

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

89
34
8m
n/a

Ada Web Application - Framework to build high performance secure web applications

66
11
8m
Apache-2.0

Dynamo Ada Application Code Generator

11
2
8m
Apache-2.0

Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes

15
1
8m
Apache-2.0

Ada Security - OAuth 2.0 client and server framework to secure web applications

17
1
8m
Apache-2.0

Ada EL - Expression Language Library (JSR245)

6
1
8m
Apache-2.0

Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344

11
3
8m
Apache-2.0

Ada Servlet - Web Servlet Library following JSR 154, JSR 315

6
1
8m
Apache-2.0

Ada support for Swagger codegen

11
1
8m
Apache-2.0

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

Unit Test, Testing

Behavior Driven Development in Ada

2
0
4y 107d
n/a

Supports functional testing using Tcl scripts.

0
0
1y 41d
n/a

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

Ada unit testing framework.

Logging

Alog is a stackable logging framework for Ada.

Machine Learning

Fuzzy machine learning framework.

Automation

Verification

GNATcoverage: Coverage Analysis Tool

24
7
8m
n/a

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

120
19
1y 47d
n/a

The Ada Conformity Assessment Test Suite, customised for GCC.

5
1
1y 27d
n/a

Tools for grading ACATS results, modified for Unix-like systems

1
0
1y 10m
n/a

Generation

ASN1SCC: An open source ASN.1 compiler for embedded systems

165
39
9m
n/a

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

36
24
8m
n/a

Ada finite-state machine generator.

1
0
4y 7m
n/a

Generator of JUnit-compatible XML reports in Ada

1
0
1y 17d
LGPL-3.0

Formal message specification and generation of verifiable binary parsers and message generators

54
4
7m
AGPL-3.0

fmt

Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.

UML

Ada-tailored UML Modeling Language

4
1
11m
GPL-3.0

ColdFrame generates Ada framework code and documentation from UML models.

4
0
1y 88d
GPL-2.0

UML Modeller is a Unified Modelling Language (UML) diagram program based on KDE Technology 📌.

Encryption

Ada Keystore - protect your sensitive data with secure storage

24
3
8m
Apache-2.0

Math

Collection of basic math routines in Ada

18
0
1y 5m
n/a

Mathpaqs: a collection of mathematical packages in pure Ada

7
1
10m
n/a

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

0
0
3y 113d
n/a

This is an Ada 2012 package that provides an interface to BLAS.

1
0
5y 12m
n/a

Science

Algorithms, Containers and Protocols

Server implementing the Microsoft Language Protocol for Ada and SPARK

89
27
8m
GPL-3.0

Language Server Protocol for Ada

10
1
3y 10m
MIT

Prototype implementation of LSP client - Visual Studio 2017

1
0
2y 10m
LGPL-3.0

Generic Ada Library for Algorithms and Containers

20
7
4y 5m
n/a

The PragmAda Reusable Components

16
6
8m
n/a

An Ada Library for UUID generation.

12
1
5y 78d
BSD-2-Clause

Genetic Algorithm Implementation for Ada

2
1
7y 5m
n/a

Small Library for Sodoku grid solving / finding

5
1
7y 4m
n/a

Simple Layer 3 Protocol

1
0
3y 8m
AGPL-3.0

Christoph Karl Walter Grein's Smart Pointers

0
0
3y 4m
n/a

Fully functional Hungarian Algorithm implementation in Ada

1
0
8m
GPL-3.0

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

9
2
6y 5m
GPL-2.0

Simple blockchain in Ada

19
3
1y 4m
MIT

G2 network server leaf

3
2
9y 20d
n/a

Ada General Purpose Library -- Miscellaneous utilities

3
1
3y 5m
n/a

Ada binding to the Z3 Theorem Prover

5
0
9m
MIT

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

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

sal

SAL (Stephe's Ada Library).

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

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

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

Cryptography

Utility programs for the encryption algorithms included in the PragmAda Reusable Components

3
0
8m
n/a

Trivial implementation of fletcher_16 sum computation algorithm.

0
0
2y 7m
n/a

base58 encoding and decoding in ada

4
0
4y 14d
n/a

The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.9.

82
18
3y 6m
n/a

A cryptographic library in SPARK 2014

23
1
8m
n/a

A pure Ada implementation of the SipHash PRF (mirror repository).

1
0
7y 8m
n/a

SHA-3 and other Keccak related algorithms in SPARK/Ada.

22
2
2y 59d
BSD-3-Clause

A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

1
0
3y 118d
ISC

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

5
0
3y 4m
n/a

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

8
0
3y 4m
ISC

SPARK 2014 re-implementation of the TweetNaCl crypto library

45
3
7m
n/a

SPARK TOTP library

4
1
2y 11m
LGPL-3.0

xxhash in ada

1
0
8y 4m
n/a

libsodium for Ada - A secure cryptographic library

7
0
5y 94d
ISC

Ada Binding for the libsecret library

1
0
2y 4m
Apache-2.0

The BLAKE2s hash function for SPARK83 [Ada (1987)]

0
0
21d
MIT-0

Compression

Zip-Ada: a standalone, portable Ada library for .zip archives

7
0
10m
n/a

Ada binding for liblzma compression library

4
0
8m
MIT

An Ada 2012 library for document container files

3
0
1y 11m
MIT

Patterns

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

4
0
5y 4m
n/a

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.

1
0
6y 4m
ISC

An Ada 2012 implementation of the Rx methodology

3
0
1y 5m
LGPL-3.0

System Modeling

A fuzzy inference system library for Ada

2
0
5y 9m
n/a

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

6
3
1y 11d
LGPL-2.1

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters

Ada semantic analysis library.

76
26
1y 47d
n/a

Ada code analyzer

0
0
8m
n/a

Grammar handling and parser generation Ada library

2
0
8m
MIT

Pretty printing library for Ada

1
0
8m
MIT

Incremental analysis in Ada

2
0
10m
MIT

An Ada 2012 package to parse command line arguments and options

7
1
5y 4m
ISC

Embeddable Forth interpreter written in Ada

14
3
6y 31d
n/a

tools for writing lexers / parsers in Ada

5
0
3y 8m
MIT

An Ada implementation of XPath 1.0.

2
0
1y 10m
GPL-2.0

Ada95 scanner and parser generators.

WisiToken is an LALR, LR1, and Packrat parser generator and run-time.

Format Readers and Writers

Ini file manager: a standalone, portable Ada package for configuration files

3
0
1y 42d
n/a
9
2
1y 69d
n/a

experimental YAML 1.3 implementation in Ada

25
9
1y 6m
MIT

An Ada 2012 library for parsing JSON

18
2
1y 99d
Apache-2.0

JSON/JWK/JWS/JWT/Base64 library in SPARK

16
0
1y 9d
AGPL-3.0

The XML/Ada toolkit.

18
11
9m
n/a

Formally verified, bounded-stack XML library

13
2
1y 4m
AGPL-3.0

Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets

3
0
1y 42d
n/a

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

10
0
1y 4m
n/a

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents

10
0
1y 42d
n/a

Implementation of Midi / MidiFile reading and writing

4
0
3y 8d
n/a

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

8
0
3y 65d
n/a

An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64

0
0
5y 4m
ISC

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

0
0
2y 11m
GPL-3.0

TOML parser for Ada

16
2
11m
n/a

Library for emitting XML from Ada programs.

Networking and Communication Middleware

BSD sockets in Ada

11
6
1y 4m
GPL-2.0

Anet is a networking library for the Ada programming language.

ADHCP is an implementation of the DHCP protocol in Ada.

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

Chatting and Communication

6
2
1y 13d
n/a

Ada 2012 library for WeeChat plug-ins

1
0
1y 13d
Apache-2.0

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

1
0
1y 13d
Apache-2.0

A WeeChat plug-in written in Ada 2012 that displays emoji

1
0
1y 13d
Apache-2.0

Web

AWS templates engine.

4
15
11m
n/a

Graphics and Multimedia

The OpenGL 4.6 Rendering Kernel in Ada 2012

36
2
7m
Apache-2.0

Thick Ada binding for OpenGL and GLFW

69
13
1y 4m
MIT

Ada binding for OpenGL/WebGL

5
0
8m
BSD-3-Clause

Ada 2012 bindings to SDL 2

72
23
1y 53d
Zlib

Ada bindings to NanoVG

1
0
5y 8m
n/a

FreeType binding for Ada 2005

1
0
3y 11m
MIT

Ada binding to the SFML library

2
0
6m
n/a

General Purpose Computing

An Ada binding for the OpenCL host API

15
4
7y 11m
ISC

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

Sound

Ada 2012 bindings for the Opus audio codec.

2
0
6y 10m
ISC

Ada 2012 bindings for libcanberra

4
1
1y 43d
Apache-2.0

Ada bindings for libsoundio

4
1
5y 8m
n/a

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

3
1
5y 6m
ISC

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem

11
2
1y 7d
n/a

Simple audio synthesis library

24
5
1y 4m
n/a

Two Ada Packages providing Linux ALSA Sound for C++ and Ada applications with portability across most linux distributions.

2
0
11m
n/a

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.

Localization

An Ada package allowing the externalization of application messages into a properties file.

Utilities

An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

4
0
5y 7m
ISC

Open Source Licenses library for Ada

0
0
3y 7m
MIT

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

0
1
7y 7m
GPL-3.0

Convenience subprograms to interact with C strings

0
0
3y 4m
LGPL-3.0
0
0
3y 11m
BSD-3-Clause

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

5
1
9y 68d
n/a

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

1
0
9m
n/a

Ada Unicode Extended Strings

3
0
7m
n/a

Robotics

Ada client library for ROS2/RCL

6
1
1y 6m
LGPL-3.0

Ada bindings for the player robotic platform

4
1
7y 4m
n/a

Linux and POSIX

Ada Windows POSIX binding

4
3
3y 7m
n/a

Ada Posix Binding to Video 4 Linux, used for RPI

0
0
6y 8m
n/a

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

6
0
1y 10m
Apache-2.0

Minimal binding to libdl

0
0
3y 4m
LGPL-3.0

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

Windows and .NET

Ada API to the Windows library

11
5
1y 110d
n/a

Ada bindings to the Microsoft NetFramework Api

4
0
1y 7m
LGPL-3.0

Ada bindings for the Microsft WinRT Api

7
2
1y 4m
LGPL-3.0

Ada bindings for the Microsoft Win32 Api

2
0
1y 4m
LGPL-3.0

Frameworks

Robotics with Ada, ARM, and Lego

14
3
1y 7m
GPL-3.0

Firmwares

18
14
3y 25d
GPL-3.0

Drivers

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

171
112
9m
BSD-3-Clause

emBRICK driver and support for emBRICK in Ada

0
2
5y 5m
BSD-3-Clause

A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.

9
3
2y 25d
MIT

SPARK/Ada drivers for the DecaWave EVB1000 evaluation board

0
1
4y 5m
MIT

Demos of multiplexed digital I/O for AdaPilot

0
0
5y 2d
n/a

Controllers

Software controller for solenoid engines (Ada/STM32F4)

3
1
5y 11m
n/a

Communication

13
0
1y 6m
n/a

Libraries

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

6
2
4y 6m
BSD-3-Clause

Simple audio synthesis library

24
5
1y 4m
n/a

GEneric Sprite and Tile Engine

11
1
1y 8m
BSD-3-Clause

SANCTA multi-robot task allocation library

1
1
7y 4m
n/a

Applications

Waking up with a fresh cup of coffee

5
0
4y 5m
MIT

Square Inch Synthesizer

12
2
2y 12m
GPL-3.0

Simulated railway network in SPARK/Ada

6
1
4y 11m
GPL-3.0

Raspberry Pi using a BBC Micro:Bit as temperature sensor

2
0
3y 45d
GPL-3.0

Open source pocket synthesizer

11
2
7m
GPL-3.0

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

1
3
1y 95d
GPL-3.0

Ethernet traffic monitor on a STM32F746 board

18
2
3y 10m
Apache-2.0

Bindings

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

42
29
8m
GPL-3.0

Ada binding for the Pebble Time smartwatch

15
2
5y 11m
n/a

Ada bindings for wiringPi

0
0
3y 52d
LGPL-3.0

Office

AZip: a free, portable Zip Archive Manager

4
0
9m
n/a

TeXCAD: a simple LaTeX {picture} drawing tool

3
0
1y 23d
GPL-2.0

The Corporate Bullshit Generator

3
0
9m
n/a

Mirror of Graphical File Manager for Linux

19
3
7m
GPL-3.0

Mail

Trash Finder is a mail filter that operates as a plugin for your mail server, providing filtering on dozens of criteria along with management of known good mail.

Web

Wasabee: a Web browser with safety focus

2
0
1y 6d
n/a

Yet Another Static Site (Generator)

12
1
1y 4m
GPL-3.0

Authoritative DNS server verified by SPARK/Ada.

Multimedia

Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)

28
5
1y 85d
GPL-3.0

A simple 3DS Max model renderer

3
0
6y 9m
n/a

Automation

A G-code parser and CNC controller (in Ada)

56
11
2y 4m
GPL-3.0

Simulation

VHDL 2008/93/87 simulator

1.26K
217
7m
GPL-2.0

Distributed Simulation of Transport Networks

1
1
8y 4m
n/a

Qt5 COVID-19 simulator. Ada code under the hood. 🤯

8
1
1y 13d
MIT

Generators and Translators

Pascal to Ada translator

2
0
9m
n/a

Code generator for Tiled the map editor

1
0
1y 8m
BSD-3-Clause
0
0
3y 11m
BSD-3-Clause

J2Ada translates a Java valid source code in Ada source code.

0
0
2y 52d
n/a

[DEPRECATED] Generate Ada bindings to C++ code

9
2
1y 10m
AGPL-3.0

Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.

0
0
2y 5m
GPL-2.0

HTML generator for Ada95 library unit specs.

Ada2JS is experimental open source compiler, component of Matreshka.

SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE.

Shells, Interpreters and Emulators

A POSIX shell for Windows.

55
7
8m
n/a

GNAT Components Collection – Core packages

34
21
8m
n/a

An Ada 2012 emulation of Charles Babbage’s Analytical Engine

6
1
2y 8m
n/a

A component to aid in writing shell-like applications in Ada.

7
1
8m
n/a

SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement.

Programming Languages

An Ada binding for Lua.

34
8
9m
n/a

Ada bindings to the Lua language

5
1
11y 107d
n/a

ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4 experimental languages: ParaSail, Sparkel, Javallel, Parython, all sharing bytecode interpreter and LLVM engine.

Misc

Ada implementation of D’Hondt electoral result calculator

3
0
1y 10m
n/a

Context-based code search tool

9
0
4m
GPL-3.0

Bindings

Ada interface to the readline library

6
0
6y 30d
n/a

Ada bindings of Turbo Pascal 7.0 units with GTKAda.

1
0
1y 9m
n/a

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

2
0
3y 4d
n/a

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

4
5
10m
GPL-2.0

Boehm GC interface library for gcc-Ada (GNAT)

3
0
1y 80d
n/a

Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL

3
0
8m
GPL-2.0

Mirror of Ada binding to Tcl/Tk, based on TASH

7
1
10m
GPL-2.0

Ada wrapper for the fast Stachniss' Hungarian solver

1
1
3y 4m
n/a

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.