Simon Wright
simonjwright
Languages
Repos
64
Stars
256
Forks
36
Top Language
Ada
Loading contributions...
Top Repositories
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)
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
Scripts for building GCC on macOS
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.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
The Ada Conformity Assessment Test Suite, customised for GCC.
Repositories
64Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
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)
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.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Index of Alire crate versions catering for macOS idiosyncrasies
Scripts for building GCC on macOS
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.
Scripts for building GCC on macOS as a cross-compiler (arm-eabi, riscv64-elf)
Tools for grading ACATS results, modified for Unix-like systems
Adjusts case in Ada source.
Simple to use cross-platform BDD driver for black box testing
Community index for the Alire project
An Open Source Community site for Ada
Exception Symbolic Traceback Workaround for macOS
An Ada binding generator from SVD descriptions for bare board ARM devices. ***RESET 2020-03-14***
My .emacs settngs.
Ada major mode using tree-sitter for Emacs
Emacs client/library for the Language Server Protocol
Builds of the GNAT Ada compiler from FSF GCC releases
Hardware access layer for Raspberry Pi's RP2350.
An Ada library to support using quaternions.
ncurses fo;r Alire
Official website for the project
The Ada Conformity Assessment Test Suite, customised for GCC.
Just enough containers for ColdFrame.
Check proposed traceback logging.
This project provides additional matrix capabilities beyond those defined in the Standard Library.
Supports functional testing using Tcl scripts.