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 anthems/english at aniva/OpenMusicScores 2023-10-16 21:30:43 -07:00

37856d4ff3 Merge branch 'main' into anthems/english

d516bb6fa8 Move scores to their folders

Compare 2 commits »

aniva deleted branch misc/reorganize from aniva/OpenMusicScores 2023-10-16 21:30:14 -07:00

aniva pushed to main at aniva/OpenMusicScores 2023-10-16 21:30:14 -07:00

d516bb6fa8 Move scores to their folders

aniva merged pull request aniva/OpenMusicScores#2 2023-10-16 21:30:13 -07:00

Move scores to their folders

aniva created pull request aniva/OpenMusicScores#2 2023-10-16 21:29:54 -07:00

Move scores to their folders

aniva pushed to misc/reorganize at aniva/OpenMusicScores 2023-10-16 21:29:41 -07:00

d516bb6fa8 Move scores to their folders

aniva pushed to misc/reorganize at aniva/OpenMusicScores 2023-10-16 21:29:11 -07:00

aniva created branch misc/reorganize in aniva/OpenMusicScores 2023-10-16 21:29:11 -07:00

aniva pushed to anthems/english at aniva/OpenMusicScores 2023-10-16 21:13:22 -07:00

46db7c3021 Move anthems to their folder

aniva created pull request aniva/OpenMusicScores#1 2023-10-16 21:11:43 -07:00

Some English anthems

aniva created branch anthems/english in aniva/OpenMusicScores 2023-10-16 21:10:37 -07:00

aniva pushed to anthems/english at aniva/OpenMusicScores 2023-10-16 21:10:37 -07:00

dae8d8a339 score: I Vow To Thee, My Country

aniva pushed to main at aniva/OpenMusicScores 2023-10-16 21:10:16 -07:00

aniva pushed to main at aniva/OpenMusicScores 2023-10-16 21:09:32 -07:00

dae8d8a339 score: I Vow To Thee, My Country

aniva commented on issue aniva/Pantograph#9 2023-10-15 19:23:26 -07:00

Extraction of tactics from syntax tree

References:

1. LeanInk
2. lean-training-data

aniva pushed to goal/dependency at aniva/Pantograph 2023-10-15 17:17:54 -07:00

9447d29e37 Store states instead of goals

8c93d30ab7 Rename tactic to goal and restructure

Compare 2 commits »

aniva pushed to main at aniva/OpenMusicScores 2023-10-08 23:31:21 -07:00

c4e564fa07 Initial commit

aniva pushed to main at aniva/OpenMusicScores 2023-10-08 23:30:47 -07:00

8208b289a1 Initial commit

aniva created branch main in aniva/OpenMusicScores 2023-10-08 23:30:47 -07:00

aniva created repository aniva/OpenMusicScores 2023-10-08 23:30:34 -07:00