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 commented on pull request aniva/Pantograph#20 2023-10-25 16:05:04 -07:00

Enable handling of m-Coupled goals

Pending test on this case:

Σ' p: Prop, p

Also we need to expose an interface for (2) so the user doesn't have to rely on reduce

aniva pushed to goal/dependency at aniva/Pantograph 2023-10-25 16:04:08 -07:00

0a0f0304a8 feat: Add proof continue and root extraction

aniva created pull request aniva/OpenMusicScores#3 2023-10-22 21:56:24 -07:00

Necrofantasia finger positions, Broken Moon

aniva pushed to game/touhou at aniva/OpenMusicScores 2023-10-21 22:14:35 -07:00

96278683b4 Broken Moon first part

aniva pushed to main at aniva/rustnix 2023-10-21 10:48:46 -07:00

b0773b5410 feat: Add .envrc

aniva created branch main in aniva/rustnix 2023-10-21 10:30:38 -07:00

aniva pushed to main at aniva/rustnix 2023-10-21 10:30:38 -07:00

8350303223 feat: Initial commit

aniva created repository aniva/rustnix 2023-10-21 10:30:24 -07:00

aniva pushed to game/touhou at aniva/OpenMusicScores 2023-10-20 23:07:30 -07:00

fe7f3f2dce Broken Moon stub

aniva pushed tag v0.2.5 to aniva/Pantograph 2023-10-20 13:06:30 -07:00

aniva deleted tag 0.2.5 from aniva/Pantograph 2023-10-20 13:05:49 -07:00

aniva pushed tag 0.2.5 to aniva/Pantograph 2023-10-20 12:57:14 -07:00

aniva deleted tag 0.2.5 from aniva/Pantograph 2023-10-20 12:57:07 -07:00

aniva pushed to dev at aniva/Pantograph 2023-10-20 12:55:19 -07:00

7dc6e4e549 Add documentation about flake

ba53e9087b feat: Add nix flake

Compare 2 commits »

aniva deleted branch misc/nix from aniva/Pantograph 2023-10-20 12:55:19 -07:00

aniva merged pull request aniva/Pantograph#21 2023-10-20 12:55:17 -07:00

Nix flake

aniva pushed to misc/nix at aniva/Pantograph 2023-10-20 12:54:52 -07:00

7dc6e4e549 Add documentation about flake

aniva pushed to misc/nix at aniva/Pantograph 2023-10-20 12:42:17 -07:00

ba53e9087b feat: Add nix flake

aniva pushed to misc/nix at aniva/Pantograph 2023-10-20 12:15:41 -07:00

414a1eecba feat: Add nix flake

aniva created pull request aniva/Pantograph#21 2023-10-20 11:53:28 -07:00

Nix flake