SoSy-Lab

Software and Computational Systems Lab: https://www.sosy-lab.org