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 merged pull request aniva/Pantograph#36 2023-12-05 20:22:38 -08:00
feat: Handling of private names
aniva pushed to library/catalog at aniva/Pantograph 2023-12-05 20:21:33 -08:00
9276d47e0d Merge branch 'dev' into library/catalog
cf856d2880 chore: Version bump
beb837ccab Merge pull request 'feat: Print structural projection as application' (#35) from io/serial into dev
ec09304e02 feat: Remove printing projections
Compare 4 commits »
aniva deleted branch io/serial from aniva/Pantograph 2023-12-05 20:20:54 -08:00
aniva pushed to dev at aniva/Pantograph 2023-12-05 20:20:54 -08:00
beb837ccab Merge pull request 'feat: Print structural projection as application' (#35) from io/serial into dev
ec09304e02 feat: Remove printing projections
Compare 2 commits »
aniva merged pull request aniva/Pantograph#35 2023-12-05 20:20:52 -08:00
feat: Print structural projection as application
aniva pushed to library/catalog at aniva/Pantograph 2023-12-05 20:20:30 -08:00
da74258dd1 feat!: Display public name only if name is private
aniva pushed to library/catalog at aniva/Pantograph 2023-12-05 19:07:24 -08:00
9f2b07757f feat: Display whether a symbol is private
aniva pushed to library/catalog at aniva/Pantograph 2023-12-04 23:36:27 -08:00
07ade4c822 feat: Expose _private names
aniva created pull request aniva/Pantograph#36 2023-12-04 21:02:43 -08:00
feat: Remove stem deduce
aniva pushed to main at aniva/OpenMusicScores 2023-12-04 16:42:33 -08:00
5bd1fada2c Consistent slurs
8cd59efa25 Rename _ to -
8a9a19b063 Farewell of Slavianka with Lazarev lyrics
Compare 3 commits »
aniva deleted branch march/russian from aniva/OpenMusicScores 2023-12-04 16:42:33 -08:00
aniva merged pull request aniva/OpenMusicScores#4 2023-12-04 16:42:31 -08:00
Farewell of Slavianka
aniva pushed to march/russian at aniva/OpenMusicScores 2023-12-04 16:41:05 -08:00
5bd1fada2c Consistent slurs
aniva pushed to library/catalog at aniva/Pantograph 2023-12-04 16:40:46 -08:00
a454aaf1d4 feat: Remove stem deduce
aniva created branch library/catalog in aniva/Pantograph 2023-12-04 16:40:46 -08:00
aniva pushed to io/serial at aniva/Pantograph 2023-12-04 16:21:27 -08:00
ec09304e02 feat: Remove printing projections
aniva created pull request aniva/Pantograph#35 2023-12-04 15:31:01 -08:00
WIP: Print structural projection as application
aniva pushed to io/serial at aniva/Pantograph 2023-12-04 15:30:19 -08:00
967e3dfb4f feat: Remove | in symbol output
0a5a96275f chore: Version bump to 0.2.9
7690272bfa feat: Shorter symbol category
7b59937853 feat: Read dependencies of library symbols
2a9931c134 fix: Rectify error format
Compare 23 commits »
aniva merged pull request aniva/config#8 2023-11-30 10:05:37 -08:00
New modes in emacs
aniva pushed to main at aniva/config 2023-11-30 10:05:37 -08:00
20f047f080 Merge pull request 'New modes in emacs' (#8) from emacs into main
4198639ec2 Merge branch 'main' into emacs
4511652fa0 Remove lua. Add zig
ca1fc2389d Merge branch 'main' into emacs
23ade34b03 Add julia and lua. Remove tabs
Compare 7 commits »