Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Group
  • https://leni.sh

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-02-27 20:05:35 -08:00
ced487199e Merge branch 'main' into game/touhou
59f6debb9a Merge pull request 'Farewell of Slavianka: Add Fedotov version lyrics' (#6) from march/russian into main
28498fc18b Farewell of Slavianka: Add Fedotov version lyrics
5bd1fada2c Consistent slurs
8cd59efa25 Rename _ to -
Compare 6 commits »
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-02-27 20:05:07 -08:00
3ff2e6f882 Label broken moon as incomplete
aniva pushed to misc/senbonzakura at aniva/OpenMusicScores 2024-02-27 20:02:16 -08:00
0965eff789 Senbonzakura last part
aniva pushed to anthems/english at aniva/OpenMusicScores 2024-02-27 19:42:41 -08:00
a651cf228e Merge branch 'main' into anthems/english
59f6debb9a Merge pull request 'Farewell of Slavianka: Add Fedotov version lyrics' (#6) from march/russian into main
28498fc18b Farewell of Slavianka: Add Fedotov version lyrics
5bd1fada2c Consistent slurs
8cd59efa25 Rename _ to -
Compare 6 commits »
aniva pushed to anthems/english at aniva/OpenMusicScores 2024-02-27 19:39:07 -08:00
1a98cf3042 Maple Leaf Forever violin-viola duet
aniva deleted branch march/russian from aniva/OpenMusicScores 2024-02-27 19:30:44 -08:00
aniva pushed to main at aniva/OpenMusicScores 2024-02-27 19:30:44 -08:00
59f6debb9a Merge pull request 'Farewell of Slavianka: Add Fedotov version lyrics' (#6) from march/russian into main
28498fc18b Farewell of Slavianka: Add Fedotov version lyrics
Compare 2 commits »
aniva merged pull request aniva/OpenMusicScores#6 2024-02-27 19:30:44 -08:00
Farewell of Slavianka: Add Fedotov version lyrics
aniva created pull request aniva/OpenMusicScores#6 2024-02-27 19:30:38 -08:00
Farewell of Slavianka: Add Fedotov version lyrics
aniva pushed to anthems/english at aniva/OpenMusicScores 2024-02-27 19:30:09 -08:00
70455e55a2 The Maple Leaf Forever
aniva created pull request aniva/OpenMusicScores#5 2024-02-27 13:14:49 -08:00
Senbonzakura for violin
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 deleted branch goal/relation from aniva/Pantograph 2024-02-15 14:55:07 -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 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 »