GitHub repository: tnttodda/tnttodda.github.io
Primary language: JavaScript
Description: Visualiser for Spartan - LICS Paper