A whole-program optimizing compiler for Standard ML
Oberon family of languages to C translator for ARM, x64 and x86 archit
C/C++ system probe, test and automation toolkit
Vala programming language distribution for Windows
Goal-directed answer-set programming
cross gcc build
Lexical, grammatical and syntactic analyzer of C÷÷.