Leni Aniva aniva
  • Stanford University Centaur Lab
  • https://leni.sh
  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
aniva pushed to touhou at aniva/OpenMusicScores 2025-04-21 23:30:17 -07:00
f9d1a5522e Finger positions for section 5
aniva pushed to pattern/shiki-eiki at aniva/Patterns 2025-04-21 00:13:23 -07:00
45ab422e89 fix: Delete difficult fullness
aniva pushed to emacs at aniva/config 2025-04-21 00:06:16 -07:00
c922e623b1 feat: Julia indent, org roam
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-04-20 12:49:20 -07:00
3e0eab0cec Merge branch 'main' into touhou/yasaka-kanako
70a157a0ab Merge pull request 'cosplay: Touhou/Shiki Eiki' (#14) from touhou/shiki-eiki into main
026c2c933c fix: Add control vertex to eye shape
eae736fdfb fix: Add outer curvature to side guard
Compare 4 commits »
aniva created branch touhou/shiki-eiki in aniva/Cosplay 2025-04-20 12:49:12 -07:00
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-20 12:49:12 -07:00
aniva pushed to main at aniva/Cosplay 2025-04-20 12:49:03 -07:00
70a157a0ab Merge pull request 'cosplay: Touhou/Shiki Eiki' (#14) from touhou/shiki-eiki into main
026c2c933c fix: Add control vertex to eye shape
eae736fdfb fix: Add outer curvature to side guard
Compare 3 commits »
aniva deleted branch touhou/shiki-eiki from aniva/Cosplay 2025-04-20 12:49:03 -07:00
aniva merged pull request aniva/Cosplay#14 2025-04-20 12:49:02 -07:00
cosplay: Touhou/Shiki Eiki
aniva created pull request aniva/Cosplay#14 2025-04-20 12:48:58 -07:00
cosplay: Touhou/Shiki Eiki
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-20 12:48:24 -07:00
026c2c933c fix: Add control vertex to eye shape
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-20 12:48:19 -07:00
7e288e516f Add control vertex to eye shape
aniva created pull request aniva/Pantograph#195 2025-04-20 09:35:02 -07:00
chore: Update version
aniva pushed to chore/version at aniva/Pantograph 2025-04-20 09:34:35 -07:00
3653465ded chore: Update version
aniva created branch chore/version in aniva/Pantograph 2025-04-20 09:34:35 -07:00
aniva deleted branch repl/flush from aniva/Pantograph 2025-04-20 09:29:06 -07:00
aniva pushed to dev at aniva/Pantograph 2025-04-20 09:29:05 -07:00
a2f9d77cb5 Merge pull request 'feat(repl): Flush stdout' (#194) from repl/flush into dev
a88829f9be Merge branch 'dev' into repl/flush
d9c484230b feat(repl): Flush stdout
Compare 3 commits »
aniva merged pull request aniva/Pantograph#194 2025-04-20 09:29:04 -07:00
feat(repl): Flush stdout
aniva pushed to repl/flush at aniva/Pantograph 2025-04-20 09:28:58 -07:00
a88829f9be Merge branch 'dev' into repl/flush
fa5d423005 Merge pull request 'doc: Update rationale' (#189) from doc/rationale into dev
60f79f5f02 doc: Fix typo
4abe2fa72f fix: LEAN_PATH example
77b517f4c6 doc: Update rationale about timeout
Compare 5 commits »
aniva created pull request aniva/Pantograph#194 2025-04-20 09:28:24 -07:00
feat(repl): Flush stdout