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 opened issue aniva/Pantograph#198 2025-04-27 10:04:57 -07:00
Add documentation about what we cannot implement
aniva commented on issue aniva/Pantograph#151 2025-04-25 08:21:40 -07:00
Add unsafe detection in goal.print

We should also output messages after a tactic to service things such as trace_state.

After each tactic, we can report whether the proof expression created in the mvars and delayed mvars have…

aniva opened issue aniva/Pantograph#197 2025-04-24 08:45:23 -07:00
Condition Unification
aniva opened issue aniva/Pantograph#196 2025-04-23 05:50:17 -07:00
Documentation about safety
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-04-22 11:17:01 -07:00
7511efa9ee Add Kanako set class
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 pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-20 12:49:12 -07:00
aniva created branch touhou/shiki-eiki in aniva/Cosplay 2025-04-20 12:49:12 -07:00
aniva deleted branch touhou/shiki-eiki from aniva/Cosplay 2025-04-20 12:49:03 -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 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