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 deleted branch misc/lemon from aniva/OpenMusicScores 2024-06-10 00:26:33 -07:00
aniva merged pull request aniva/OpenMusicScores#8 2024-06-10 00:26:32 -07:00
Lemon (Yonezu Kenshi)
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-10 00:00:23 -07:00
ddfae30db4 Add key signature for touhou intro
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-09 23:15:45 -07:00
36dbc67ca1 Necrofantasia arpeggio, touhou intro with 3/4 time
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-09 21:54:06 -07:00
f9cfec5133 Cleanup compilation error and add intro
aniva pushed to emacs at aniva/config 2024-06-09 00:40:22 -07:00
f4a62a983d feat: Add telegram, scad, cov modes. Fix conflict
aniva created branch emacs in aniva/config 2024-06-09 00:40:22 -07:00
aniva closed pull request aniva/config#10 2024-06-08 11:27:26 -07:00
feat: Emacs shell compatibility and SCAD mode
aniva deleted branch emacs from aniva/config 2024-06-08 11:27:26 -07:00
aniva commented on issue aniva/Pantograph#77 2024-06-07 22:05:50 -07:00
Unclear error message

This is due to the autoBoundImplicit flag on the elaboration monad. It was there because of our handling of universe levels

aniva pushed to wayland/eww at aniva/config 2024-06-07 14:41:19 -07:00
a2eb17df7e feat: Eww bar colour adjustments
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-07 09:21:00 -07:00
8284bf22cd Fix some notes
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-06 23:14:48 -07:00
4f7c498bb5 The Gensokyo the Gods Loved
aniva opened issue aniva/Pantograph#77 2024-06-06 15:23:55 -07:00
Unclear error message
aniva pushed to goal/mapply at aniva/Pantograph 2024-06-05 16:15:10 -07:00
3a53493089 feat: Show delayed assignment in goal diag
aniva pushed to goal/mapply at aniva/Pantograph 2024-06-05 15:56:40 -07:00
6dcff8b151 fix: Print diag in mvar context
aniva pushed to goal/mapply at aniva/Pantograph 2024-06-05 13:45:29 -07:00
3c90c94645 fix: Execute instantiateAll in goal state diag
aniva pushed to wayland/eww at aniva/config 2024-06-03 00:04:02 -07:00
b48bfabe9a fix: Icon size to 25
07aef5a19b feat: eww temperature monitoring
Compare 2 commits »
aniva pushed to wayland/eww at aniva/config 2024-06-02 18:24:05 -07:00
9b2bd7ad99 feat: Simplification and time display
aniva pushed to wayland/eww at aniva/config 2024-06-02 15:29:14 -07:00
664e5ed27a chore: Remove unused hbar