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 created pull request aniva/Pantograph#187 2025-04-10 23:19:57 -07:00

fix(repl): Elaborate with errToSorry as false by default

aniva pushed to repl/elab-option at aniva/Pantograph 2025-04-10 23:17:53 -07:00

14b74b612d fix(repl): Elaborate with `errToSorry` as false by default

aniva created branch repl/elab-option in aniva/Pantograph 2025-04-10 23:17:53 -07:00

aniva pushed to stock-composition at aniva/BoundaryBadApple 2025-04-10 15:23:18 -07:00

e468e60fc5 feat: Temporal-dependent packing stub

aniva pushed to stock-composition at aniva/BoundaryBadApple 2025-04-10 11:07:26 -07:00

a0fe1e843a feat: Sector in composition diagram

aniva created pull request aniva/BoundaryBadApple#1 2025-04-10 10:31:31 -07:00

Stock composition version

aniva pushed to stock-composition at aniva/BoundaryBadApple 2025-04-10 10:30:28 -07:00

e69b55b0c7 feat: Stock composition diagram stub

aniva created branch stock-composition in aniva/BoundaryBadApple 2025-04-10 10:30:28 -07:00

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 »