GitHub repository: sl-comp/sl-comp.github.io
Primary language: SCSS
Description: Competition of Solvers for Separation Logic