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

12

Projects Packages Public Activity Starred Repositories

9

aniva created branch lib/build in aniva/Cosplay 2024-12-07 13:46:41 -08:00

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 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

aniva pushed to tool/lighting at aniva/Cosplay 2024-12-07 12:09:57 -08:00

d1fd830766 feat: Light panel assembly

aniva pushed to tool/lighting at aniva/Cosplay 2024-12-06 16:43:21 -08:00

3884d75f1c chore: Add build function

aniva created pull request aniva/Cosplay#9 2024-12-06 16:41:06 -08:00

tool: Light panel

aniva pushed to tool/lighting at aniva/Cosplay 2024-12-06 16:40:24 -08:00

ca437c3855 feat: Light panel layer

aniva created branch tool/lighting in aniva/Cosplay 2024-12-06 16:40:24 -08:00

aniva created pull request aniva/Cosplay#8 2024-12-06 12:45:51 -08:00

feat: Add cq-editor as dev dependency

aniva pushed to chore/version at aniva/Cosplay 2024-12-06 12:42:40 -08:00

8e4553311b doc: Instructions for using cq-editor

016b717b41 feat: Add cq-editor in dev dependencies

Compare 2 commits »

aniva created branch chore/version in aniva/Cosplay 2024-12-06 12:27:48 -08:00

aniva pushed to chore/version at aniva/Cosplay 2024-12-06 12:27:48 -08:00

eace8745f3 chore: Update cadquery

aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-06 00:08:52 -08:00

929311a042 fix: Only signal failure when there is error

aniva commented on pull request aniva/Pantograph#134 2024-12-06 00:01:07 -08:00

chore: Update Lean to v4.14.0

nix flake check passed on x86_64-linux

aniva commented on pull request aniva/Pantograph#135 2024-12-06 00:00:03 -08:00

fix: Capture nested tactic failure

Should be good to go. Pending feedback from original author.

aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:16:29 -08:00

0415baaaff chore: Cleanup old `TestM`

aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:12:16 -08:00

34a4bf5b73 feat: Export GoalState.tryTactic

aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:11:51 -08:00

a62ac51c37 chore: Remove all redundant filenames