This website requires JavaScript.
Explore
Help
Sign In
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
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
First
Previous
...
15
16
17
18
19
...
Next
Last