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 / OpenMusicScores
LilyPond 1 0
Collection of music scores in LilyPond
Updated 2025-04-01 22:57:22 -07:00
aniva / Cosplay
Python 1 0
Parametric Cosplay Design Schematics
Updated 2025-03-31 00:22:33 -07:00
aniva / config
Emacs Lisp 1 0
Shared ~/.config files
Updated 2025-03-30 12:18:50 -07:00
aniva/Pantograph
aniva / Pantograph
Lean 1 0
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-03-29 22:22:40 -07:00
aniva/Chrysoblog
aniva / Chrysoblog
TypeScript 1 0
Main website Mk. II
Updated 2025-03-06 14:40:53 -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