High level string and text processing library

Command-line tool from the Alire project and supporting library

Visual Studio Code

OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues

Server implementing the Microsoft Language Protocol for Ada and SPARK

Custom Firmware for the MeloAudio Midi Commander

Tycho project repository (tycho)

xtext-core

Eclipse Xtext™ is a language development framework

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL