Pinned Repositories
ACATS
The Ada Conformity Assessment Test Suite, customised for GCC.
analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
ASIS
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.
building-gcc-macos-cross
Scripts for building GCC on macOS as a cross-compiler (arm-eabi, riscv64-elf)
building-gcc-macos-native
Scripts for building GCC on macOS
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.
FreeRTOS-Ada
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); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
stack_usage
Calculates the maximum stack depth required by GCC-compiled code
tcladashell
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
simonjwright's Repositories
simonjwright/FreeRTOS-Ada
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); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
simonjwright/distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
simonjwright/building-gcc-macos-native
Scripts for building GCC on macOS
simonjwright/ACATS
The Ada Conformity Assessment Test Suite, customised for GCC.
simonjwright/stack_usage
Calculates the maximum stack depth required by GCC-compiled code
simonjwright/building-gcc-macos-cross
Scripts for building GCC on macOS as a cross-compiler (arm-eabi, riscv64-elf)
simonjwright/alire-index.mac
Index of Alire crate versions catering for macOS idiosyncrasies
simonjwright/ACATS-grading
Tools for grading ACATS results, modified for Unix-like systems
simonjwright/rp2350_hal
Hardware access layer for Raspberry Pi's RP2350.
simonjwright/ada_caser
Adjusts case in Ada source.
simonjwright/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
simonjwright/minimal_containers
Just enough containers for ColdFrame.
simonjwright/parallelize
Reads commands and executes them in parallel.
simonjwright/ada-lang-io
An Open Source Community site for Ada
simonjwright/ada-ts-mode
Ada major mode using tree-sitter for Emacs
simonjwright/alire-index
Community index for the Alire project
simonjwright/alire.ada.dev
Official website for the project
simonjwright/bbt
Simple to use cross-platform BDD driver for black box testing
simonjwright/booch95
simonjwright/emacs-settings
My .emacs settngs.
simonjwright/exsytrawo
Exception Symbolic Traceback Workaround for macOS
simonjwright/GNAT-FSF-builds
Builds of the GNAT Ada compiler from FSF GCC releases
simonjwright/gnat_math_extensions
This project provides additional matrix capabilities beyond those defined in the Standard Library.
simonjwright/gpr
The framework for analyzing the GNAT Project (GPR) files
simonjwright/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
simonjwright/lsp-mode
Emacs client/library for the Language Server Protocol
simonjwright/sdl2-examples
SDL2 examples, for 25+ different programming languages
simonjwright/sdlada
Ada 2012 bindings to SDL 2
simonjwright/svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices. ***RESET 2020-03-14***
simonjwright/traceback
Check proposed traceback logging.