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 merged pull request aniva/Pantograph#178 2025-03-24 18:05:25 -07:00

chore: Update Lean to v4.17.0, version to v0.3

aniva created pull request aniva/Pantograph#178 2025-03-24 18:05:16 -07:00

chore: Update Lean to v4.17.0, version to v0.3

aniva pushed to chore/version at aniva/Pantograph 2025-03-24 18:04:46 -07:00

ebf514b92b chore: Update nix flake

aniva pushed to chore/version at aniva/Pantograph 2025-03-24 17:57:46 -07:00

d305918bb9 chore: Update Lean to v4.17.0

aniva created branch chore/version in aniva/Pantograph 2025-03-24 17:57:46 -07:00

aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-24 17:48:11 -07:00

3e55b4b22f feat(repl): Record last scope

aniva pushed to touhou at aniva/OpenMusicScores 2025-03-23 20:43:59 -07:00

0766d47c90 Extend 07-13 to section 3

aniva pushed to touhou at aniva/OpenMusicScores 2025-03-23 17:34:00 -07:00

889c0ed49c Border of Life 1st part

aniva pushed to emacs at aniva/config 2025-03-18 11:31:18 -07:00

1f87caa390 feat: Julia snail, typst heading shift

aniva created pull request aniva/Pantograph#177 2025-03-17 19:15:22 -07:00

feat: Update CoreM options from parsed header

aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-17 19:13:42 -07:00

aniva created branch frontend/env-init in aniva/Pantograph 2025-03-17 19:13:42 -07:00

aniva deleted branch parse/level from aniva/Pantograph 2025-03-17 18:38:29 -07:00

aniva deleted branch delate/instantiate from aniva/Pantograph 2025-03-17 18:37:57 -07:00

aniva pushed to dev at aniva/Pantograph 2025-03-17 18:37:56 -07:00

bc37482212 Merge pull request 'feat(delate): Unfold matchers' (#176) from delate/instantiate into dev

cb1082c7c7 chore: More code cleanup

678cc9b3c0 chore: Code cleanup

4643992c3b refactor(delate): Unfold matchers into function

3b4b196a30 feat(delate): Add mdata annotation for matcher

Compare 9 commits »

aniva merged pull request aniva/Pantograph#176 2025-03-17 18:37:55 -07:00

feat(delate): Unfold matchers

aniva pushed to delate/instantiate at aniva/Pantograph 2025-03-17 12:14:44 -07:00

cb1082c7c7 chore: More code cleanup

aniva pushed to delate/instantiate at aniva/Pantograph 2025-03-17 11:30:34 -07:00

678cc9b3c0 chore: Code cleanup

aniva pushed to delate/instantiate at aniva/Pantograph 2025-03-17 11:26:29 -07:00

4643992c3b refactor(delate): Unfold matchers into function

aniva pushed to delate/instantiate at aniva/Pantograph 2025-03-17 11:21:05 -07:00

3b4b196a30 feat(delate): Add mdata annotation for matcher