An Open Source Community site for Ada

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 and DTLS 1.3!

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

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

Minimal Emacs configuration for Ada

Official binding of SFML for C

python framework for controlling the Ikea smart lights (tradfri)

A demo of best practices for open-source Ada/SPARK development

A generator of research project plan. It allows you to generate a full plan from a compact, not redundant description.

Community index for the Alire project

Simple to use cross-platform BDD driver for black box testing

Reference Card of Ada Attributes, Aspects, Pragmas and Standard Library

A collection of useful .gitattributes templates

Performance comparison of various compilers

Simple Turn-based Game

Command-line tool from the Alire project and supporting library

C binding for TGUI

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

Repository for the SFML website.

Large collection of Developer Cheat Sheets, created and maintained by the awesome developers across the globe 🌎