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 chore/cleanup at aniva/Pantograph 2025-06-16 13:55:57 -07:00

b7c9867217 Merge branch 'dev' into chore/cleanup

975a6f525c Merge pull request 'chore: Update Lean to v4.19.0' (#205) from chore/toolchain into dev

0fa5ac335e fix: Load environment extensions

d41ec67a63 chore: Update Lean to v4.19.0

Compare 4 commits »

aniva deleted branch chore/toolchain from aniva/Pantograph 2025-06-16 13:54:10 -07:00

aniva pushed to dev at aniva/Pantograph 2025-06-16 13:54:10 -07:00

975a6f525c Merge pull request 'chore: Update Lean to v4.19.0' (#205) from chore/toolchain into dev

0fa5ac335e fix: Load environment extensions

d41ec67a63 chore: Update Lean to v4.19.0

Compare 3 commits »

aniva merged pull request aniva/Pantograph#205 2025-06-16 13:54:09 -07:00

chore: Update Lean to v4.19.0

aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-16 13:46:11 -07:00

0fa5ac335e fix: Load environment extensions

aniva pushed to main at aniva/Cosplay 2025-06-16 10:16:59 -07:00

2a405f916a Merge pull request 'cosplay: Touhou/Yasaka Kanako' (#11) from touhou/yasaka-kanako into main

4c0a54dc4a Update controller to use internal pullup

db4232f94d Add startup sequence

675f4f995b Add controller code for Kanako

52b4e0b329 Add ears to the pipe joint

Compare 62 commits »

aniva merged pull request aniva/Cosplay#11 2025-06-16 10:16:58 -07:00

cosplay: Touhou/Yasaka Kanako

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-06-16 10:16:46 -07:00

4c0a54dc4a Update controller to use internal pullup

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-06-11 15:30:48 -07:00

db4232f94d Add startup sequence

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-06-10 00:54:02 -07:00

675f4f995b Add controller code for Kanako

aniva opened issue aniva/Pantograph#206 2025-06-09 10:12:14 -07:00

Execute tactic syntax

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-06-03 18:50:49 -07:00

52b4e0b329 Add ears to the pipe joint

7ec2728a6c Use 0.5 spindle gap for rotation resistance

Compare 2 commits »

aniva pushed to fractal at aniva/BoundaryBadApple 2025-06-03 15:24:52 -07:00

2783589cc0 feat: Use perturbed Mandelbrot iterant

aniva created pull request aniva/BoundaryBadApple#2 2025-06-03 15:09:09 -07:00

Fractal Generation

aniva pushed to fractal at aniva/BoundaryBadApple 2025-06-03 15:08:32 -07:00

76e2c11911 feat: Stabilize fractal shape

d814811e9a feat: Fractal generation

Compare 2 commits »

aniva created branch fractal in aniva/BoundaryBadApple 2025-06-03 15:08:32 -07:00

aniva pushed to touhou/clownpiece at aniva/Cosplay 2025-06-03 09:55:43 -07:00

35a44e5be3 Clownpiece stub

aniva created pull request aniva/Cosplay#16 2025-06-03 09:16:11 -07:00

cosplay: Touhou/Clownpiece

aniva created branch touhou/clownpiece in aniva/Cosplay 2025-06-03 09:15:24 -07:00

aniva pushed to touhou/clownpiece at aniva/Cosplay 2025-06-03 09:15:24 -07:00