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 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 merged pull request aniva/Pantograph#185 2025-04-08 10:59:54 -07:00
chore: Update Lean to v4.18.0
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 »
aniva pushed to chore/version at aniva/Pantograph 2025-04-08 10:59:43 -07:00
13b03b602b chore: Update flake
aniva created pull request aniva/Pantograph#185 2025-04-08 10:59:33 -07:00
chore: Update Lean to v4.18.0
aniva pushed to chore/version at aniva/Pantograph 2025-04-08 10:58:44 -07:00
b6c3f7d8fd chore: Update Lean to v4.18.0
aniva created branch chore/version in aniva/Pantograph 2025-04-08 10:58:44 -07:00
aniva deleted branch bug/variable-level-names-in-scope from aniva/Pantograph 2025-04-07 20:18:52 -07:00
aniva pushed to dev at aniva/Pantograph 2025-04-07 20:18:51 -07:00
27a1f420ba Merge pull request 'fix: `variable` and `universe` commands in environment capture' (#183) from bug/variable-level-names-in-scope into dev
5df3d2bee1 refactor: Remove `runTermElabM` from library
9216e4fa86 chore: Format code
f42af9f6a8 fix: Level name capture
70152c7715 refactor: Optional levels
Compare 6 commits »
aniva merged pull request aniva/Pantograph#183 2025-04-07 20:18:50 -07:00
fix: `variable` and `universe` commands in environment capture
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-07 20:18:24 -07:00
5df3d2bee1 refactor: Remove `runTermElabM` from library
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-07 11:52:00 -07:00
9216e4fa86 chore: Format code
aniva commented on pull request aniva/Pantograph#183 2025-04-05 14:27:47 -07:00
fix: universe commands in environment capture

Environment.addDecl requires Elab.TermElabM passthrough as well.

aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-05 14:26:34 -07:00
f42af9f6a8 fix: Level name capture