There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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)distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.building-gcc-macos-native
Scripts for building GCC on macOSews
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.stack_usage
Calculates the maximum stack depth required by GCC-compiled codeanalytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical EngineACATS
The Ada Conformity Assessment Test Suite, customised for GCC.tcladashell
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPLASIS
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.coldframe
ColdFrame generates Ada framework code and documentation from UML models.nuweb.py
Literate programming in LaTeX; programming languages of your choicexia
An Ada implementation of XPath 1.0.dhondt
Ada implementation of D’Hondt electoral result calculatoralire-index.mac
Index of Alire crate versions catering for macOS idiosyncrasiesbuilding-gcc-macos-arm-eabi
Scripts for building GCC on macOS as a cross-compiler to arm-eabiadagoop
Generator of object-oriented parsers in Adalibadalang2xml
Generates an XML representation of Ada source using libadalang.asis2xml
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.leak_detector
Reports memory leaks in Ada programs.xcode_15_fix
Xcode/CLT version 15 introduced problems for Ada programming on macOS.Quaternions
An Ada library to support using quaternions.macos-sdks-vs-gcc
Provides GCC 'specs' files to cope with macOS SDK policy changessynchronized_output
Supports text logging from multiple tasksgnat_util
Provides access to GNAT compiler internals for AdaCore utilitiesscripted_testing
Supports functional testing using Tcl scripts.ACATS-grading
Tools for grading ACATS results, modified for Unix-like systemstrace_utilities
Support for presenting traceback information.parallelize
Reads commands and executes them in parallel.Love Open Source and this site? Check out how you can help us