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 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 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 »
aniva merged pull request aniva/config#8 2023-11-30 10:05:37 -08:00
New modes in emacs
aniva opened issue aniva/Pantograph#34 2023-11-30 01:02:14 -08:00
Print structures
aniva pushed to march/russian at aniva/OpenMusicScores 2023-11-30 00:58:06 -08:00
8cd59efa25 Rename _ to -
aniva pushed tag v0.2.9 to aniva/Pantograph 2023-11-27 10:37:24 -08:00
aniva deleted branch io/symbol from aniva/Pantograph 2023-11-27 10:36:45 -08:00
aniva pushed to dev at aniva/Pantograph 2023-11-27 10:36:45 -08:00
967e3dfb4f feat: Remove | in symbol output
0a5a96275f chore: Version bump to 0.2.9
7690272bfa feat: Shorter symbol category
Compare 3 commits »
aniva merged pull request aniva/Pantograph#33 2023-11-27 10:36:44 -08:00
feat: Shorter symbol category
aniva pushed to io/symbol at aniva/Pantograph 2023-11-27 09:55:03 -08:00
967e3dfb4f feat: Remove | in symbol output
aniva created pull request aniva/Pantograph#33 2023-11-26 23:51:02 -08:00
feat: Shorter symbol category
aniva pushed to io/symbol at aniva/Pantograph 2023-11-26 23:48:56 -08:00
0a5a96275f chore: Version bump to 0.2.9
aniva pushed to io/symbol at aniva/Pantograph 2023-11-26 22:15:40 -08:00
7690272bfa feat: Shorter symbol category
aniva created branch io/symbol in aniva/Pantograph 2023-11-26 22:15:40 -08:00
aniva deleted branch library/dependency from aniva/Pantograph 2023-11-25 23:06:49 -08:00
aniva pushed to dev at aniva/Pantograph 2023-11-25 23:06:49 -08:00
7b59937853 feat: Read dependencies of library symbols
aniva merged pull request aniva/Pantograph#32 2023-11-25 23:06:48 -08:00
feat: Read dependencies of library symbols
aniva created pull request aniva/Pantograph#32 2023-11-25 15:08:35 -08:00
feat: Read dependencies of library symbols
aniva created branch library/dependency in aniva/Pantograph 2023-11-25 15:08:16 -08:00