Search credible GitHub repositories.

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

Simple Turn-based Game

Context-based code search tool

Command-line tool from the Alire project and supporting library

William Whitaker's WORDS, a Latin dictionary

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

Server implementing the Microsoft Language Protocol for Ada and SPARK

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

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

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

LLVM based GNAT compiler

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

Ada semantic analysis library.

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

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

SPARK 2014 re-implementation of the TweetNaCl crypto library

Ada 2022 bindings to SDL 2

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

The Ada Microkernel Project

Sources for learn.adacore.com

PowerJoular allows monitoring power consumption of multiple platforms and processes

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

Ada bindings for the GTK+ graphical library.

OWASP Amass data source scripts (assetfinder, findomain, github, subfinder)

Thick Ada binding for OpenGL and GLFW

Official mirror of the Muen Separation Kernel repository

Language creation framework.

Simple command line argument parser for C++ and Ada.

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

Ada Bare Bones OS development tutorial source code