MacOS inside a Docker container.

NVIDIA Jetson Nano LED Linux driver experiment in Ada

Cross-platform ZX Spectrum emulator written in C#

Python for the Java Platform

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Prometheus instrumentation library for Python applications

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Integration between XL Release and Artifactory

Interfaces to a Confluence Wiki to add/delete/update pages and add comments to pages.

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

An Ada binding for Lua.

A POSIX shell for Windows.

An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada bindings for the GTK+ graphical library.

Ada semantic analysis library.

Language creation framework.

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