Skip to content

Popular repositories

  1. 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

    Ada 33 5

  2. An Ada 2012 emulation of Charles Babbage’s Analytical Engine

    Ada 6 1

  3. The Ada Conformity Assessment Test Suite, customised for GCC.

    Ada 5

  4. ColdFrame generates Ada framework code and documentation from UML models.

    Ada 4 1

  5. Calculates the maximum stack depth required by GCC-compiled code

    Python 4

  6. Scripts for building GCC on macOS

    Shell 3

108 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

July 2020

Created an issue in AdaCore/libadalang that received 2 comments

Build issues on macOS

This is to report some issues encountered on the way to a successful build with (largely) GCC 10.1.0 on macOS Catalina. Which Python? I checked out 4…

2 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.