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 created repository aniva/OpenMusicScores 2023-10-08 23:30:34 -07:00
aniva deleted branch tactic/dependency from aniva/Pantograph 2023-10-07 16:12:05 -07:00
aniva created pull request aniva/Pantograph#20 2023-10-07 16:11:54 -07:00
Enable companion generation
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-07 16:11:14 -07:00
aniva created branch goal/dependency in aniva/Pantograph 2023-10-07 16:11:14 -07:00
aniva deleted branch tactic/book from aniva/Pantograph 2023-10-07 16:11:11 -07:00
aniva created pull request aniva/Pantograph#19 2023-10-07 15:27:08 -07:00
WIP: Enable companion generation and hole filling via proof terms
aniva pushed to emacs at aniva/config 2023-10-07 14:45:13 -07:00
4198639ec2 Merge branch 'main' into emacs
d4d7ab5e79 Move month before day in waybar
Compare 2 commits »
aniva pushed to main at aniva/config 2023-10-07 14:44:55 -07:00
d4d7ab5e79 Move month before day in waybar
aniva merged pull request aniva/config#9 2023-10-07 14:44:54 -07:00
Move month before day in waybar
aniva created pull request aniva/config#9 2023-10-07 14:44:50 -07:00
Move month before day in waybar
aniva pushed to desktop/waybar at aniva/config 2023-10-07 14:44:30 -07:00
d4d7ab5e79 Move month before day in waybar
aniva pushed to emacs at aniva/config 2023-10-07 14:36:59 -07:00
4511652fa0 Remove lua. Add zig
aniva commented on pull request aniva/config#8 2023-10-07 14:36:41 -07:00
New modes in emacs

Email support is deferred for now. Lean 4 module is deferred unless this PR gets approved: https://github.com/doomemacs/doomemacs/pull/7439

aniva created pull request aniva/config#8 2023-10-07 14:34:30 -07:00
New modes in emacs
aniva pushed to emacs at aniva/config 2023-10-07 14:33:28 -07:00
ca1fc2389d Merge branch 'main' into emacs
b71353c67e Add clock back to waybar
Compare 2 commits »
aniva pushed to main at aniva/config 2023-10-07 14:33:08 -07:00
b71353c67e Add clock back to waybar
aniva merged pull request aniva/config#7 2023-10-07 14:33:06 -07:00
Add clocks back to waybar
aniva created pull request aniva/config#7 2023-10-07 14:32:13 -07:00
Add clocks back to waybar
aniva pushed to desktop/waybar at aniva/config 2023-10-07 14:31:31 -07:00
b71353c67e Add clock back to waybar