~lachrimae

~lachrimae/professional-website

My website for my professional portolio and academic bio

~lachrimae/linear-server

A very simple server to demonstrate what using linear types looks like

~lachrimae/js13kgames-2022

A js13kgames submission from the year 2022