- Stanford University Centaur Lab
- https://leni.sh
-
Director of NorCal Hakkero Factory No. 1
- Joined on
2023-08-21
Collection of music scores in LilyPond
Updated 2025-04-01 22:57:22 -07:00
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-03-29 22:22:40 -07:00
Visualisation of To The Stars battle diagrams and scenes
Updated 2023-09-12 17:05:43 -07:00