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
13
 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 / Cosplay
Python 1 0
Parametric Cosplay Design Schematics
Updated 2025-05-20 19:47:48 -07:00
aniva / config
Emacs Lisp 1 0
Shared ~/.config files
Updated 2025-05-18 17:53:01 -07:00
aniva / Patterns
XML 1 0
Sewing patterns
Updated 2025-05-18 12:23:19 -07:00
aniva/Pantograph
aniva / Pantograph
Lean 1 0
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-05-07 06:53:47 -07:00
aniva / OpenMusicScores
LilyPond 1 0
Collection of music scores in LilyPond
Updated 2025-04-21 23:30:17 -07:00
aniva/Chrysoblog
aniva / Chrysoblog
TypeScript 1 0
Main website Mk. II
Updated 2025-03-06 14:40:53 -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