Bootstrapping the statix meta-language

The Statix meta-language has been developed in order to simplify the definition of static semantics in programming languages. A high-level static semantics definition of a language in Statix can be used to generate a type-checker, hence abstracting over the shared implementation details. Statix should be able to express the static semantics of...

TelaSol: A Coach Cockpit Application

Team Sunweb, a professional cycling team and our client, is constantly looking for innovations to help them win races. They tasked us with creating an application which could assist coaches with determining the strategy during a race. This application, which we dubbed TelaSol, is supposed to run on a tablet that is mounted on the dashboard...