Explore projects

Fast evaluation of LCQ energy-resolved CID calibration by thermometer ions with E(tcid) measured by Armentrout.

Build and CI scripts for Clean

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

Clean compiler

Implementing the L* learning algorithm for nominal automata, using the ONS library

A collection of shell scripts or commands