7 ms·Spectre – A design-by-contract, compiled programming language with QBE back end1 points by death_eternal 6mo ago