jquorning

jquorning.github.io

Private notes

alire

Command-line tool from the Alire project and supporting library

ASDL2

SDL2 for Ada

dk_8543

Colletion of Ada packages from Hornslet in Denmark

adanow

Help getting Ada compiler and components on Homebrew

asmarty

exercism-ada

Exercism exercises in Ada.

Olofson

SDL2 demos using the SDLAda binding

vanilla

Simple replace in character stream

yass

Yet Another Static Site (Generator)

ada-list

Variant of `ls` for Ada source folders

alire-crates-ci

CI testing of crates in default alire index

alire-index

Community index for the Alire project

alire.ada.dev

Official website for the project

ASR

Ada Specification Requests

awa-alire-index

awesome-ada

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

axnu

basic-computer-games

An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/basic-computer-games/

cxos

Operating System development experiment in Ada

ET

An ECAD design tool for complex schematics and layouts

eugen

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

GtkJEWL

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.

kobodeluxe

The Original Kobo Deluxe

SDLAda_Mixer

septum

Context-based code search tool

setup-alire

GitHub action to setup Alire (the Ada/SPARK package manager)

the-ACI.github.io

VSS

High level string and text processing library