Simon Wright (simonjwright)

simonjwright

Geek Repo

Location:Stroud, Gloucestershire

Twitter:@simonjohnw

Github PK Tool:Github PK Tool

Simon Wright's repositories

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)

Language:AdaLicense:GPL-3.0Stargazers:60Issues:12Issues:36

distributing-gcc

Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.

Language:MakefileLicense:BSD-3-ClauseStargazers:33Issues:5Issues:20

building-gcc-macos-native

Scripts for building GCC on macOS

Language:ShellLicense:BSD-3-ClauseStargazers:12Issues:6Issues:11

ACATS

The Ada Conformity Assessment Test Suite, customised for GCC.

Language:AdaLicense:NOASSERTIONStargazers:9Issues:4Issues:2

coldframe

ColdFrame generates Ada framework code and documentation from UML models.

Language:AdaLicense:GPL-2.0Stargazers:8Issues:5Issues:22

alire-index.mac

Index of Alire crate versions catering for macOS idiosyncrasies

License:Apache-2.0Stargazers:5Issues:0Issues:0

xia

An Ada implementation of XPath 1.0.

Language:AdaLicense:NOASSERTIONStargazers:4Issues:3Issues:2

building-gcc-macos-arm-eabi

Scripts for building GCC on macOS as a cross-compiler to arm-eabi

Language:ShellLicense:BSD-3-ClauseStargazers:3Issues:2Issues:1

alire

Command-line tool from the Alire project and supporting library

Language:AdaLicense:GPL-3.0Stargazers:2Issues:2Issues:0

libadalang2xml

Generates an XML representation of Ada source using libadalang.

xcode_15_fix

Xcode/CLT version 15 introduced problems for Ada programming on macOS.

Language:AdaLicense:Apache-2.0Stargazers:2Issues:0Issues:0

ACATS-grading

Tools for grading ACATS results, modified for Unix-like systems

gnat-llvm

LLVM based GNAT compiler

minimal_containers

Just enough containers for ColdFrame.

Language:AdaLicense:NOASSERTIONStargazers:1Issues:3Issues:0

parallelize

Reads commands and executes them in parallel.

Language:AdaLicense:Apache-2.0Stargazers:1Issues:1Issues:0

scripted_testing

Supports functional testing using Tcl scripts.

trace_utilities

Support for presenting traceback information.

Language:AdaLicense:NOASSERTIONStargazers:1Issues:0Issues:0

ada-lang-io

An Open Source Community site for Ada

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Language:AdaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

alire-index

Community index for the Alire project

License:GPL-3.0Stargazers:0Issues:2Issues:0

argouml

Main project of argouml. Some information in the wiki. Some old releases in releases. (depends on parentpom, testmodels)

Language:JavaStargazers:0Issues:1Issues:0
Language:AdaLicense:GPL-3.0Stargazers:0Issues:3Issues:2

GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

gpr

The framework for analyzing the GNAT Project (GPR) files

Language:AdaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

Language:AdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hac

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

Stargazers:0Issues:0Issues:0

langkit

Language creation framework.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0

sdl2-examples

SDL2 examples, for 25+ different programming languages

Language:MakefileLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

sdlada

Ada 2012 bindings to SDL 2

Language:AdaLicense:ZlibStargazers:0Issues:3Issues:0