Astronomy and astrophysics core library

Yet another modal editing on Emacs / 猫态编辑

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

Cloud-native SIEM for intelligent security analytics for your entire enterprise.

Ada binding to ONNX runtime

Ada semantic analysis library.

An Ada parser library for a useful subset of the YAML spec

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Provides a simple file-based key-value store with String keys and values.

A modern language that compiles to JavaScript

A simple embedded programming language

Path tracer live coded in stream

Mini C Compiler

A Game Boy emulation library in Ada

LEA is a Lightweight Editor for Ada

Tiny Lisp Interpreter Written in Ada

Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.

Tooling for analysis and manipulation of Ada software

Open source pocket synthesizer

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Operating System development experiment in Ada

DasherA is a Data General DASHER D200/D210 terminal emulator

Ada examples for the Raspberry Pi Pico

A kernel for RISCV64 computers written in Ada

Ada binding to the SFML library

The Google Protocol Buffers implementation in Ada

Ada drivers for the Raspberry Pi RP2040 SoC