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 misc/senbonzakura at aniva/OpenMusicScores 2024-02-27 13:14:29 -08:00
78eaea97be Senbonzakura for violin
aniva created branch misc/senbonzakura in aniva/OpenMusicScores 2024-02-27 13:14:29 -08:00
aniva pushed tag v0.2.12 to aniva/Pantograph 2024-02-15 14:57:10 -08:00
aniva pushed to dev at aniva/Pantograph 2024-02-15 14:55:07 -08:00
3292b34070 Merge pull request 'feat: Print parent expression assignment' (#45) from goal/relation into dev
d57612ec71 test: Delayed metavariable assignment
9ac84b3fd1 Merge branch 'dev' into goal/relation
4a98b90289 chore: Version bump to 0.2.12-alpha
5720c72515 feat: Prevent crash during rootExpr call
Compare 7 commits »
aniva deleted branch goal/relation from aniva/Pantograph 2024-02-15 14:55:07 -08:00
aniva merged pull request aniva/Pantograph#45 2024-02-15 14:55:05 -08:00
feat: Print parent expression assignment
aniva pushed to goal/relation at aniva/Pantograph 2024-02-15 14:47:27 -08:00
d57612ec71 test: Delayed metavariable assignment
aniva pushed to goal/relation at aniva/Pantograph 2024-02-15 14:43:42 -08:00
9ac84b3fd1 Merge branch 'dev' into goal/relation
a748900ad6 Merge pull request 'feat: Add leanpkgs to the flake output' (#46) from nix/toolchain into dev
3e321516f7 chore: Expose `leanPkgs` in flake
8b67e7006a feat: Add lake and lean to the package output
Compare 4 commits »
aniva pushed to dev at aniva/Pantograph 2024-02-15 14:30:32 -08:00
a748900ad6 Merge pull request 'feat: Add leanpkgs to the flake output' (#46) from nix/toolchain into dev
3e321516f7 chore: Expose `leanPkgs` in flake
8b67e7006a feat: Add lake and lean to the package output
Compare 3 commits »
aniva deleted branch nix/toolchain from aniva/Pantograph 2024-02-15 14:30:32 -08:00
aniva merged pull request aniva/Pantograph#46 2024-02-15 14:30:31 -08:00
feat: Add leanpkgs to the flake output
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-02-14 14:59:35 -08:00
689c8aad58 Minor modifications to Necrofantasia
aniva pushed to nix/toolchain at aniva/Pantograph 2024-02-13 12:31:38 -08:00
3e321516f7 chore: Expose `leanPkgs` in flake
aniva created pull request aniva/Pantograph#46 2024-02-05 11:50:57 -08:00
feat: Add lake and lean to the package output
aniva pushed to nix/toolchain at aniva/Pantograph 2024-02-05 11:50:30 -08:00
8b67e7006a feat: Add lake and lean to the package output
aniva created branch nix/toolchain in aniva/Pantograph 2024-02-05 11:49:43 -08:00
aniva pushed to nix/toolchain at aniva/Pantograph 2024-02-05 11:49:43 -08:00
7c836cf766 Add lake and lean to the package output
aniva pushed to goal/relation at aniva/Pantograph 2024-01-30 17:45:47 -08:00
4a98b90289 chore: Version bump to 0.2.12-alpha
aniva pushed to goal/relation at aniva/Pantograph 2024-01-30 17:22:51 -08:00
5720c72515 feat: Prevent crash during rootExpr call
aniva pushed to goal/relation at aniva/Pantograph 2024-01-30 16:37:59 -08:00
6d22841a27 doc: Correct comment about parent filling expr