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 issue aniva/Pantograph#163 2025-01-26 22:04:51 -08:00
Clean up code
aniva deleted branch env/module from aniva/Pantograph 2025-01-26 22:04:31 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-26 22:04:31 -08:00
4d295bd9ff Merge pull request 'doc: Manual about `env.{describe,module_read}`' (#165) from env/module into dev
003a63bd13 doc: Manual about `env.{describe,module_read}`
Compare 2 commits »
aniva merged pull request aniva/Pantograph#165 2025-01-26 22:04:29 -08:00
doc: Manual about `env.{describe,module_read}`
aniva pushed to dev at aniva/Pantograph 2025-01-26 22:04:14 -08:00
7d6ad1ebb9 Merge pull request 'chore: Code cleanup' (#164) from chore/cleanup into dev
970c16a0a4 chore: Use `StateRefT` in `Repl.lean`
6a7830cb71 fix: Remove spurious print
787c9e606d chore: Cleanup REPL loop
976646fb67 chore: Use repeat-break structure
Compare 6 commits »
aniva deleted branch chore/cleanup from aniva/Pantograph 2025-01-26 22:04:14 -08:00
aniva merged pull request aniva/Pantograph#164 2025-01-26 22:04:13 -08:00
chore: Code cleanup
aniva deleted branch chore/version from aniva/Chrysoblog 2025-01-25 16:13:19 -08:00
aniva pushed to main at aniva/Chrysoblog 2025-01-25 16:13:19 -08:00
c04e04667c chore: Update version to 0.0.4
aniva merged pull request aniva/Chrysoblog#39 2025-01-25 16:13:17 -08:00
chore: Update version to 0.0.4
aniva created pull request aniva/Chrysoblog#39 2025-01-25 16:13:12 -08:00
chore: Update version to 0.0.4
aniva pushed to chore/version at aniva/Chrysoblog 2025-01-25 16:13:00 -08:00
c04e04667c chore: Update version to 0.0.4
aniva created branch chore/version in aniva/Chrysoblog 2025-01-25 16:13:00 -08:00
aniva deleted branch styling/dark-mode from aniva/Chrysoblog 2025-01-25 16:10:43 -08:00
aniva deleted branch styling/cover from aniva/Chrysoblog 2025-01-25 16:10:14 -08:00
aniva pushed to main at aniva/Chrysoblog 2025-01-25 16:10:14 -08:00
7cf3e31b22 Merge pull request 'fix: Background styling on iOS' (#38) from styling/cover into main
442e589874 fix: Background on iOS
Compare 2 commits »
aniva merged pull request aniva/Chrysoblog#38 2025-01-25 16:10:13 -08:00
fix: Background styling on iOS
aniva closed issue aniva/Chrysoblog#29 2025-01-25 16:09:57 -08:00
Left side navbar does not move with view on long blog posts
aniva commented on issue aniva/Chrysoblog#29 2025-01-25 16:09:57 -08:00
Left side navbar does not move with view on long blog posts

#30

aniva deleted branch component/navbar from aniva/Chrysoblog 2025-01-25 16:09:03 -08:00