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 frontend/infotree at aniva/Pantograph 2024-12-08 23:22:08 -08:00
ea813e5bc5 feat: Monadic info collection
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-08 22:52:13 -08:00
b950dc9b1a fix: Verbose printing of infotree
aniva pushed to game/touhou/04-bad-apple at aniva/OpenMusicScores 2024-12-08 16:59:55 -08:00
6814f79b95 Finger positions for Bad Apple!!
aniva commented on issue aniva/Pantograph#114 2024-12-08 16:25:24 -08:00
Incremental and intercepted parsing of Lean code

Superseded by specific frontend functions.

aniva closed issue aniva/Pantograph#114 2024-12-08 16:25:24 -08:00
Incremental and intercepted parsing of Lean code
aniva opened issue aniva/Pantograph#138 2024-12-08 16:25:02 -08:00
Directly pretty-print finished goals to Lean text
aniva opened issue aniva/Pantograph#137 2024-12-08 16:11:48 -08:00
Pickle environment extensions
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-08 15:38:16 -08:00
9ede3cf717 feat: InfoTree printing
aniva created pull request aniva/Pantograph#136 2024-12-08 12:55:42 -08:00
chore: Version 0.3
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-08 12:54:27 -08:00
4de53e0547 Merge branch 'dev' into frontend/infotree
d7457cd386 Merge pull request 'fix: Capture nested tactic failure' (#135) from bug/nested-tactic-failure into dev
929311a042 fix: Only signal failure when there is error
0415baaaff chore: Cleanup old `TestM`
34a4bf5b73 feat: Export GoalState.tryTactic
Compare 27 commits »
aniva pushed to dev at aniva/Pantograph 2024-12-07 18:51:28 -08:00
d7457cd386 Merge pull request 'fix: Capture nested tactic failure' (#135) from bug/nested-tactic-failure into dev
929311a042 fix: Only signal failure when there is error
0415baaaff chore: Cleanup old `TestM`
34a4bf5b73 feat: Export GoalState.tryTactic
a62ac51c37 chore: Remove all redundant filenames
Compare 7 commits »
aniva deleted branch bug/nested-tactic-failure from aniva/Pantograph 2024-12-07 18:51:28 -08:00
aniva merged pull request aniva/Pantograph#135 2024-12-07 18:51:26 -08:00
fix: Capture nested tactic failure
aniva pushed to tool/lighting at aniva/Cosplay 2024-12-07 13:47:39 -08:00
6470010da6 fix: Model name
5ab611666e Merge branch 'lib/build' into tool/lighting
a6685e6779 feat: Add model name prefix to build path
418e6517a0 fix: Sketch object attribute
Compare 4 commits »
aniva created pull request aniva/Cosplay#10 2024-12-07 13:46:59 -08:00
feat: Add model name prefix to build path
aniva pushed to lib/build at aniva/Cosplay 2024-12-07 13:46:41 -08:00
a6685e6779 feat: Add model name prefix to build path
aniva created branch lib/build in aniva/Cosplay 2024-12-07 13:46:41 -08:00
aniva deleted branch chore/version from aniva/Cosplay 2024-12-07 13:38:07 -08:00
aniva pushed to main at aniva/Cosplay 2024-12-07 13:38:06 -08:00
9563501327 Merge pull request 'feat: Add cq-editor as dev dependency' (#8) from chore/version into main
8e4553311b doc: Instructions for using cq-editor
016b717b41 feat: Add cq-editor in dev dependencies
eace8745f3 chore: Update cadquery
Compare 4 commits »
aniva merged pull request aniva/Cosplay#8 2024-12-07 13:38:05 -08:00
feat: Add cq-editor as dev dependency