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#184 2025-04-05 14:04:32 -07:00
Remove CoreM library functions
aniva pushed to touhou at aniva/OpenMusicScores 2025-04-04 22:40:07 -07:00
48ce8d4373 Some finger position adjustments
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-03 14:38:56 -07:00
70152c7715 refactor: Optional levels
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-03 11:30:58 -07:00
ccdcf018f8 Add curvature to side profile
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-03 11:18:42 -07:00
cf4a5955e3 test: Non-matchers are not matchers
aniva commented on pull request aniva/Pantograph#183 2025-04-02 19:13:55 -07:00
fix: universe commands in environment capture

Also need to ensure that unfoldMatchers does not unfold strong induction

aniva pushed to touhou at aniva/OpenMusicScores 2025-04-01 22:57:22 -07:00
720af7c194 07-13 all
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-03-31 00:22:33 -07:00
bfb4ad6973 Add fine angular tolerance for side guards
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-03-30 16:57:21 -07:00
9d9d59ffeb Add attachment point wings to Eiki crown
aniva pushed to main at aniva/config 2025-03-30 12:18:49 -07:00
a077bcaafe Merge pull request 'feat: Additional language support for doomemacs' (#25) from emacs into main
1f87caa390 feat: Julia snail, typst heading shift
76b76619ee feat: Additional language support for doomemacs
Compare 3 commits »
aniva merged pull request aniva/config#25 2025-03-30 12:18:48 -07:00
feat: Additional language support for doomemacs
aniva pushed to system/darwin at aniva/config 2025-03-30 12:10:52 -07:00
069f24cc67 Merge branch 'emacs' into system/darwin
3429dc5a2d feat: Common tools on darwin
1f87caa390 feat: Julia snail, typst heading shift
Compare 3 commits »
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-03-30 00:49:24 -07:00
704baebd1e Bent surface for crown face
aniva created pull request aniva/Pantograph#183 2025-03-29 22:23:28 -07:00
fix: variable and universe commands in environment capture
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-03-29 22:22:40 -07:00
aniva created branch bug/variable-level-names-in-scope in aniva/Pantograph 2025-03-29 22:22:40 -07:00
aniva commented on issue aniva/Pantograph#132 2025-03-29 19:07:02 -07:00
Branch unification

Useful comment from Environment.lean:

Note [Environment Branches]

The kernel environment type Lean.Kernel.Environment enforces a linear order on the addition of declarations:…

aniva deleted branch chore/env from aniva/Cosplay 2025-03-29 18:14:19 -07:00
aniva pushed to main at aniva/Cosplay 2025-03-29 18:14:19 -07:00
aef269e2eb Merge pull request 'chore: Update environment' (#12) from chore/env into main
6842b0c4c8 chore: Update environment
Compare 2 commits »
aniva merged pull request aniva/Cosplay#12 2025-03-29 18:14:19 -07:00
chore: Update environment