2023 Advent of Code in Ada

Maintainer wanted

Systems language with linear types and capability-based security.

Compiler for the Vale programming language - http://vale.dev/

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

An Open Source Community site for Ada

Ada User Community Input Working Group - Github Mirror Prototype

Context-based code search tool

Formally verified, bounded-stack XML library

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

SPARK formal verification automated with Travis CI

Advent of Code solutions

Advent of Code 2021 (Ada)

The Principia Rewrite

Advent of Code

Advent of Code 2021 in Ada

Advent of Code - Ada

Solutions for Advent of Code challenge

Platform to submit RFCs for the Ada & SPARK languages

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

Proving leftpad correct two-dozen different ways

An Ada-oriented GUI

Drake: A Runtime Library for gcc-Ada

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Unicode utilities

A a hyper-lightweight dependency tracking and project installation system

Perl 6 module installer

Source code for https://raku.org/

A VM with adaptive optimization and JIT compilation, built for Rakudo

🦋 Raku test suite

🦋 Rakudo – Raku on MoarVM, JVM, and JS