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 main at aniva/Cosplay 2025-01-28 17:56:22 -08:00

9ff3e72474 Merge pull request 'tool: Light panel' (#9) from tool/lighting into main

9d78bf604a feat: Add tripod attachment point

596311f326 feat: Improve spacing

6470010da6 fix: Model name

5ab611666e Merge branch 'lib/build' into tool/lighting

Compare 9 commits »

aniva pushed tag v0.2.25 to aniva/Pantograph 2025-01-28 17:43:54 -08:00

aniva deleted branch bug/collect-sorry-generated-constants from aniva/Pantograph 2025-01-28 17:42:56 -08:00

aniva pushed to dev at aniva/Pantograph 2025-01-28 17:42:56 -08:00

4435a6459c Merge pull request 'fix: Use in-context environment in sorry collection' (#166) from bug/collect-sorry-generated-constants into dev

05f6997062 doc: Update repl documentation

c77f14d383 fix: Use context environment in sorry capture

274e29199d fix: Use post-step environment in sorry collection

Compare 4 commits »

aniva merged pull request aniva/Pantograph#166 2025-01-28 17:42:55 -08:00

fix: Use in-context environment in sorry collection

aniva pushed to bug/collect-sorry-generated-constants at aniva/Pantograph 2025-01-28 17:41:48 -08:00

05f6997062 doc: Update repl documentation

aniva pushed to bug/collect-sorry-generated-constants at aniva/Pantograph 2025-01-28 17:41:21 -08:00

c77f14d383 fix: Use context environment in sorry capture

aniva pushed to tool/lighting at aniva/Cosplay 2025-01-28 17:15:55 -08:00

9d78bf604a feat: Add tripod attachment point

596311f326 feat: Improve spacing

Compare 2 commits »

aniva created pull request aniva/Pantograph#166 2025-01-27 20:01:23 -08:00

fix: Use post-step environment in sorry collection

aniva created branch bug/collect-sorry-generated-constants in aniva/Pantograph 2025-01-27 19:57:28 -08:00

aniva pushed to bug/collect-sorry-generated-constants at aniva/Pantograph 2025-01-27 19:57:28 -08:00

274e29199d fix: Use post-step environment in sorry collection

aniva commented on issue aniva/Pantograph#163 2025-01-26 22:04:51 -08:00

Clean up code

Done #164

aniva closed issue aniva/Pantograph#163 2025-01-26 22:04:51 -08:00

Clean up code

aniva pushed to dev at aniva/Pantograph 2025-01-26 22:04:31 -08:00

4d295bd9ff Merge pull request 'doc: Manual about `env.{describe,module_read}`' (#165) from env/module into dev

003a63bd13 doc: Manual about `env.{describe,module_read}`

Compare 2 commits »

aniva deleted branch env/module from aniva/Pantograph 2025-01-26 22:04:31 -08:00

aniva merged pull request aniva/Pantograph#165 2025-01-26 22:04:29 -08:00

doc: Manual about `env.{describe,module_read}`

aniva deleted branch chore/cleanup from aniva/Pantograph 2025-01-26 22:04:14 -08:00

aniva pushed to dev at aniva/Pantograph 2025-01-26 22:04:14 -08:00

7d6ad1ebb9 Merge pull request 'chore: Code cleanup' (#164) from chore/cleanup into dev

970c16a0a4 chore: Use `StateRefT` in `Repl.lean`

6a7830cb71 fix: Remove spurious print

787c9e606d chore: Cleanup REPL loop

976646fb67 chore: Use repeat-break structure

Compare 6 commits »

aniva merged pull request aniva/Pantograph#164 2025-01-26 22:04:13 -08:00

chore: Code cleanup

aniva deleted branch chore/version from aniva/Chrysoblog 2025-01-25 16:13:19 -08:00