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 main at aniva/BoundaryBadApple 2025-04-09 23:03:13 -07:00
bdc92baf5f Initial commit
aniva created branch main in aniva/BoundaryBadApple 2025-04-09 23:03:13 -07:00
aniva created repository aniva/BoundaryBadApple 2025-04-09 21:37:44 -07:00
aniva pushed tag v0.3.0 to aniva/Pantograph 2025-04-09 09:05:40 -07:00
aniva pushed to main at aniva/Pantograph 2025-04-09 00:23:22 -07:00
4e44b147e0 Merge pull request 'chore: Version 0.3' (#136) from dev into main
c547d9c8dc Merge pull request 'chore: Update Lean to v4.18.0' (#185) from chore/version into dev
13b03b602b chore: Update flake
b6c3f7d8fd chore: Update Lean to v4.18.0
27a1f420ba Merge pull request 'fix: `variable` and `universe` commands in environment capture' (#183) from bug/variable-level-names-in-scope into dev
Compare 610 commits »
aniva merged pull request aniva/Pantograph#136 2025-04-09 00:23:19 -07:00
chore: Version 0.3
aniva closed issue aniva/Pantograph#184 2025-04-09 00:22:40 -07:00
Remove CoreM library functions
aniva commented on issue aniva/Pantograph#184 2025-04-09 00:22:39 -07:00
Remove CoreM library functions

Done #183

aniva closed issue aniva/Pantograph#186 2025-04-09 00:21:52 -07:00
Draft tactic hangs for some particular cases of have
aniva commented on issue aniva/Pantograph#186 2025-04-09 00:21:52 -07:00
Draft tactic hangs for some particular cases of have

Can't repro.

aniva opened issue aniva/Cosplay#13 2025-04-09 00:21:37 -07:00
Migrate to uv
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-04-08 23:28:40 -07:00
b15db172a0 Merge branch 'main' into touhou/yasaka-kanako
1e692b89ed Merge pull request 'cosplay: Touhou/Shiki Eiki' (#7) from touhou/shiki-eiki into main
f7b915a7e4 Merge branch 'main' into touhou/shiki-eiki
ccdcf018f8 Add curvature to side profile
bfb4ad6973 Add fine angular tolerance for side guards
Compare 38 commits »
aniva deleted branch touhou/shiki-eiki from aniva/Cosplay 2025-04-08 23:01:07 -07:00
aniva pushed to main at aniva/Cosplay 2025-04-08 23:01:07 -07:00
1e692b89ed Merge pull request 'cosplay: Touhou/Shiki Eiki' (#7) from touhou/shiki-eiki into main
f7b915a7e4 Merge branch 'main' into touhou/shiki-eiki
ccdcf018f8 Add curvature to side profile
bfb4ad6973 Add fine angular tolerance for side guards
9d9d59ffeb Add attachment point wings to Eiki crown
Compare 26 commits »
aniva merged pull request aniva/Cosplay#7 2025-04-08 23:01:05 -07:00
cosplay: Touhou/Shiki Eiki
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-08 23:00:53 -07:00
f7b915a7e4 Merge branch 'main' into touhou/shiki-eiki
aef269e2eb Merge pull request 'chore: Update environment' (#12) from chore/env into main
Compare 2 commits »
aniva commented on issue aniva/Pantograph#186 2025-04-08 12:09:54 -07:00
Draft tactic hangs for some particular cases of have

This seems to be a problem with PyP and repl interaction. Could not repro with this

options.set {"timeout": 1000}
options.set {"printDependentMVars": true}
frontend.process {"file":…
aniva opened issue aniva/Pantograph#186 2025-04-08 12:01:03 -07:00
Draft tactic hangs for some particular cases of have
aniva deleted branch chore/version from aniva/Pantograph 2025-04-08 10:59:55 -07:00
aniva pushed to dev at aniva/Pantograph 2025-04-08 10:59:54 -07:00
c547d9c8dc Merge pull request 'chore: Update Lean to v4.18.0' (#185) from chore/version into dev
13b03b602b chore: Update flake
b6c3f7d8fd chore: Update Lean to v4.18.0
Compare 3 commits »