simonjwright
Follow
-
alire Public
Forked from alire-project/alireCommand-line tool from the Alire project and supporting library
-
alire-index Public
Forked from alire-project/alire-indexCommunity index for the Alire project
GNU General Public License v3.0 UpdatedNov 17, 2024 -
distributing-gcc Public
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
-
building-gcc-macos-native Public
Scripts for building GCC on macOS
-
-
alire-index.mac Public
Index of Alire crate versions catering for macOS idiosyncrasies
-
FreeRTOS-Ada Public
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); …
-
ada-lang-io Public
Forked from ada-lang-io/ada-lang-ioAn Open Source Community site for Ada
TypeScript Apache License 2.0 UpdatedOct 16, 2024 -
-
building-gcc-macos-cross Public
Scripts for building GCC on macOS as a cross-compiler (arm-eabi, riscv64-elf)
-
ada-ts-mode Public
Forked from brownts/ada-ts-modeAda major mode using tree-sitter for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedSep 15, 2024 -
-
svd2ada Public
Forked from AdaCore/svd2adaAn Ada binding generator from SVD descriptions for bare board ARM devices. ***RESET 2020-03-14***
Ada GNU General Public License v3.0 UpdatedSep 3, 2024 -
stack_usage Public
Calculates the maximum stack depth required by GCC-compiled code
-
ACATS Public
The Ada Conformity Assessment Test Suite, customised for GCC.
-
minimal_containers Public
Just enough containers for ColdFrame.
-
GNAT-FSF-builds Public
Forked from alire-project/GNAT-FSF-buildsBuilds of the GNAT Ada compiler from FSF GCC releases
Python MIT License UpdatedJun 11, 2024 -
gcc-14-branch Public
Forked from iains/gcc-14-branchGCC 14 for Darwin with experimental Arm64 support. Current release 14.1-darwin-r1 [June 2024]
GNU General Public License v2.0 UpdatedJun 7, 2024 -
learnxinyminutes-docs Public
Forked from adambard/learnxinyminutes-docsCode documentation written as code! How novel and totally my idea!
-
ACATS-grading Public
Tools for grading ACATS results, modified for Unix-like systems
-
sdlada Public
Forked from ada-game-framework/sdladaAda 2012 bindings to SDL 2
Ada zlib License UpdatedMay 6, 2024 -
gpr Public
Forked from AdaCore/gprThe framework for analyzing the GNAT Project (GPR) files
Ada Apache License 2.0 UpdatedApr 26, 2024 -
gprbuild Public
Forked from AdaCore/gprbuildGPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada Other UpdatedApr 9, 2024 -
parallelize Public
Reads commands and executes them in parallel.
-
sdl2-examples Public
Forked from xyproto/sdl2-examplesSDL2 examples, for 25 different programming languages
Makefile BSD 3-Clause "New" or "Revised" License UpdatedMar 11, 2024 -
Ada_Drivers_Library Public
Forked from AdaCore/Ada_Drivers_LibraryAda source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada BSD 3-Clause "New" or "Revised" License UpdatedFeb 27, 2024 -
libadalang2xml Public
Generates an XML representation of Ada source using libadalang.
-
xcode_15_fix Public
Xcode/CLT version 15 introduced problems for Ada programming on macOS.
-
-