Collection of tip-of-the-day for Ada

Proof of Bresenham in SPARK

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Ada bindings for the notcurses text user interface library

A new type of shell

High level string and text processing library

GitHub action to setup an Ada/SPARK dev environment

Command-line tool from the Alire project and supporting library

SPARK 2014 re-implementation of the TweetNaCl crypto library

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

The "standard" Keyboardio Model 01 Firmware sketch.

Simple audio synthesis library

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

Language Server Protocol for Ada

Demo project for new web site: Compile It! / Prove It!

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

Open Platform for Autonomous VEhicle Systems

An experiment in open source at the Department of Defense.

Record and Replay Framework

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

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

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

runtimes that add support for various boards to the GNAT GPL compiler for ARM

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

The XML/Ada toolkit.

Core framework for developing portable automated build systems

Defines a common protocol for language servers.