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-07-04 19:37:25 -07:00
aniva/Pantograph
aniva / Pantograph
Lean 1 0
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-07-02 15:46:46 -07:00
aniva / OpenMusicScores
LilyPond 1 0
Collection of music scores in LilyPond
Updated 2025-06-29 22:42:24 -07:00
aniva/Chrysoblog
aniva / Chrysoblog
TypeScript 1 0
Main website Mk. II
Updated 2025-06-23 08:58:13 -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/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