Command-line tool from the Alire project and supporting library

Server implementing the Microsoft Language Protocol for Ada and SPARK

LLVM based GNAT compiler

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

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

This project is obsolete is no longer developed, maintained or serviced!

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

This repository contains course material published to the AdaCore University website

Drake: A Runtime Library for gcc-Ada

An Ada 2012 library for parsing JSON

experimental YAML 1.3 implementation in Ada

Operating System development experiment in Ada

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

TOML parser for Ada

Ada Keystore - protect your sensitive data with secure storage

An Ada compiler in Scala

A cryptographic library in SPARK 2014

An attempt at a minimalistic and secure operating system.

Ada Database Objects

Collection of basic math routines in Ada

A Money library for Ada

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

A simple HTTP and Websocket library with minimal external dependencies.

Collection of experiments with the Ada language

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class …

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

An ECAD design tool for complex schematics and layouts

Experimental memcached client implemented in Ada

Ada Unit Testing Library