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 created pull request aniva/Pantograph#38 2023-12-07 12:37:35 -08:00
chore: Version downgrade to 0.2.9-alpha
aniva created branch misc/version in aniva/Pantograph 2023-12-07 12:37:17 -08:00
aniva pushed to misc/version at aniva/Pantograph 2023-12-07 12:37:17 -08:00
a10f9b9672 chore: Version downgrade to 0.2.9-alpha
aniva pushed to dev at aniva/Pantograph 2023-12-07 12:33:04 -08:00
4871133027 Merge pull request 'fix: Printing projection leads to crash' (#37) from io/sexp into dev
2dc7657e2a doc: getUsedConstants bug about projections
ccf5a03647 fix: Printing projection leads to crash
Compare 3 commits »
aniva deleted branch io/sexp from aniva/Pantograph 2023-12-07 12:33:04 -08:00
aniva merged pull request aniva/Pantograph#37 2023-12-07 12:33:02 -08:00
fix: Printing projection leads to crash
aniva pushed to io/sexp at aniva/Pantograph 2023-12-06 15:05:25 -08:00
2dc7657e2a doc: getUsedConstants bug about projections
aniva created pull request aniva/Pantograph#37 2023-12-06 14:37:15 -08:00
fix: Printing projection leads to crash
aniva created branch io/sexp in aniva/Pantograph 2023-12-05 22:46:21 -08:00
aniva pushed to io/sexp at aniva/Pantograph 2023-12-05 22:46:21 -08:00
ccf5a03647 fix: Printing projection leads to crash
aniva deleted tag v0.2.10 from aniva/Pantograph 2023-12-05 20:27:04 -08:00
aniva pushed tag v0.2.10 to aniva/Pantograph 2023-12-05 20:23:03 -08:00
aniva deleted branch library/catalog from aniva/Pantograph 2023-12-05 20:22:40 -08:00
aniva pushed to dev at aniva/Pantograph 2023-12-05 20:22:40 -08:00
56966b27cf Merge pull request 'feat: Handling of private names' (#36) from library/catalog into dev
9276d47e0d Merge branch 'dev' into library/catalog
cf856d2880 chore: Version bump
da74258dd1 feat!: Display public name only if name is private
9f2b07757f feat: Display whether a symbol is private
Compare 7 commits »
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 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 deleted branch io/serial from aniva/Pantograph 2023-12-05 20:20:54 -08:00
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