Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
12
 Projects Packages Public Activity Starred Repositories
9
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
aniva/Pantograph
aniva / Pantograph
Lean 1 0
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2024-12-21 15:57:24 -08:00
aniva/Chrysoblog
aniva / Chrysoblog
TypeScript 1 0
Main website Mk. II
Updated 2024-12-10 18:26:16 -08:00
aniva / OpenMusicScores
LilyPond 1 0
Collection of music scores in LilyPond
Updated 2024-12-08 16:59:55 -08:00
aniva / Cosplay
Python 1 0
Parametric Cosplay Design Schematics
Updated 2024-12-07 13:47:39 -08:00
aniva / config
Emacs Lisp 1 0
Shared ~/.config files
Updated 2024-12-05 11:25:11 -08:00
aniva / Patterns
XML 1 0
Sewing patterns
Updated 2024-11-22 07:46:11 -08:00
aniva/To-The-Stars
aniva / To-The-Stars
TeX 1 0
Visualisation of To The Stars battle diagrams and scenes
Updated 2023-09-12 17:05:43 -07:00