Pygments is a generic syntax highlighter written in Python

Command-line tool from the Alire project and supporting library

Platform to submit RFCs for the Ada & SPARK languages

Sources for learn.adacore.com

Livrables et autres documents

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!

Community index for the Alire project

Cours Langages systèmes pour EPITA

Generic Ada Library for Algorithms and Containers

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Version of the classic Master Mind game written in Ada

Git repository for the submission of SMT-LIB benchmarks

Server implementing the Microsoft Language Protocol for Ada and SPARK

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

A guide for learning about the Ada Programming Language.

Ada semantic analysis library.

An adventure game in the style of Zelda, for the Arduboy

Minimalist cooperative operating system supporting multiple tasks with MMU protection

Project for multi-UAV cooperative decision making

Core Infrastructure Initiative Best Practices Badge

query language for Libadalang and Langkit

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014.

SPARK 2014 re-implementation of the TweetNaCl crypto library