simonjwright Goto Github PK

acats

The Ada Conformity Assessment Test Suite, customised for GCC.

acats-grading

Tools for grading ACATS results, modified for Unix-like systems

ada-lang-io

An Open Source Community site for Ada

ada_drivers_library

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

adagoop

Generator of object-oriented parsers in Ada

alire

Command-line tool from the Alire project and supporting library

alire-index

Community index for the Alire project

alire-index.mac

Index of Alire crate versions catering for macOS idiosyncrasies

analytical-engine

An Ada 2012 emulation of Charles Babbage’s Analytical Engine

argouml

Main project of argouml. Some information in the wiki. Some old releases in releases. (depends on parentpom, testmodels)

asis

Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.

asis2xml

Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

building-gcc-macos-arm-eabi

Scripts for building GCC on macOS as a cross-compiler to arm-eabi

building-gcc-macos-native

Scripts for building GCC on macOS

certyflie

coldframe

ColdFrame generates Ada framework code and documentation from UML models.

cortex-gnat-rts

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

crazyflie-android-client

The Crazyflie Nano Quadcopter client for Android OTG or BLE enabled devices

crazyflie-firmware

The main firmware for the Crazyflie Nano Quadcopter.

dhondt

Ada implementation of D’Hondt electoral result calculator

distributing-gcc

Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.

ews

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.

gnat-fsf-builds

Builds of the GNAT Ada compiler from FSF GCC releases

gnat-llvm

LLVM based GNAT compiler

gnat_math_extensions

This project provides additional matrix capabilities beyond those defined in the Standard Library.

gnat_util

Provides access to GNAT compiler internals for AdaCore utilities

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

gnatcoll-core

GNAT Components Collection – Core packages

gpr

The framework for analyzing the GNAT Project (GPR) files