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 closed pull request aniva/Chrysoblog#31 2025-01-25 15:38:24 -08:00
feat: Series
aniva pushed to main at aniva/Chrysoblog 2025-01-25 15:38:03 -08:00
7daa6eb70d Merge pull request 'feat: Series' (#31) from post/series into main
662a298b28 fix: Posts with empty series
e7984f9c33 merge: branch 'main' into post/series
7d9fe36140 test: Series navigation test
56e6efc795 feat: Implement series
Compare 6 commits »
aniva pushed to post/series at aniva/Chrysoblog 2025-01-25 15:36:26 -08:00
662a298b28 fix: Posts with empty series
aniva pushed to post/series at aniva/Chrysoblog 2025-01-25 15:23:09 -08:00
e7984f9c33 merge: branch 'main' into post/series
7d9fe36140 test: Series navigation test
5dbb8e7a8c doc: Documentation about metadata.json
7b900c2993 feat: Read highlighter languages from metadata
0d87cea96f feat: Add more icons
Compare 5 commits »
aniva pushed to post/series at aniva/Chrysoblog 2025-01-25 15:06:25 -08:00
56e6efc795 feat: Implement series
aniva commented on pull request aniva/Chrysoblog#30 2025-01-25 14:32:49 -08:00
feat: Sticky navbar

Ready to go.

aniva pushed to component/navbar at aniva/Chrysoblog 2025-01-25 14:32:37 -08:00
6f5933d902 feat: Improved navbar on mobile
aniva deleted branch emacs from aniva/config 2025-01-25 13:18:05 -08:00
aniva pushed to main at aniva/config 2025-01-25 13:18:05 -08:00
f9431e77d5 Merge pull request 'fix: LSP config incompatibility and lean mode' (#24) from emacs into main
fb053b95dc fix: LSP config incompatibility and lean mode
Compare 2 commits »
aniva merged pull request aniva/config#24 2025-01-25 13:18:04 -08:00
fix: LSP config incompatibility and lean mode
aniva created pull request aniva/Pantograph#165 2025-01-24 20:22:22 -08:00
doc: Manual about env.{describe,module_read}
aniva created branch env/module in aniva/Pantograph 2025-01-24 20:21:49 -08:00
aniva pushed to env/module at aniva/Pantograph 2025-01-24 20:21:49 -08:00
003a63bd13 doc: Manual about `env.{describe,module_read}`
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 20:19:34 -08:00
970c16a0a4 chore: Use `StateRefT` in `Repl.lean`
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 19:25:03 -08:00
6a7830cb71 fix: Remove spurious print
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 19:23:18 -08:00
787c9e606d chore: Cleanup REPL loop
aniva created pull request aniva/Pantograph#164 2025-01-24 19:12:08 -08:00
chore: Code cleanup
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 19:11:24 -08:00
976646fb67 chore: Use repeat-break structure
418d630255 fix: Remove unused variable
Compare 2 commits »
aniva created branch chore/cleanup in aniva/Pantograph 2025-01-24 19:11:24 -08:00
aniva reopened issue aniva/Pantograph#162 2025-01-24 15:06:36 -08:00
Take generated constants into account