Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Group
• https://leni.sh

• Admin of this website

• Joined on 2023-08-21

Repositories

22

Projects Packages Public Activity Starred Repositories

2

Loading Heatmap…

aniva merged pull request aniva/OpenMusicScores#8

Lemon (Yonezu Kenshi)

2024-06-10 00:26:32 -07:00

aniva pushed to game/touhou at aniva/OpenMusicScores

• ddfae30db4 Add key signature for touhou intro

2024-06-10 00:00:23 -07:00

aniva pushed to game/touhou at aniva/OpenMusicScores

• 36dbc67ca1 Necrofantasia arpeggio, touhou intro with 3/4 time

2024-06-09 23:15:45 -07:00

aniva pushed to game/touhou at aniva/OpenMusicScores

• f9cfec5133 Cleanup compilation error and add intro

2024-06-09 21:54:06 -07:00

aniva created branch emacs in aniva/config

2024-06-09 00:40:22 -07:00

aniva pushed to emacs at aniva/config

• f4a62a983d feat: Add telegram, scad, cov modes. Fix conflict

2024-06-09 00:40:22 -07:00

aniva deleted branch emacs from aniva/config

2024-06-08 11:27:26 -07:00

aniva closed pull request aniva/config#10

feat: Emacs shell compatibility and SCAD mode

2024-06-08 11:27:26 -07:00

aniva commented on issue aniva/Pantograph#77

Unclear error message

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

2024-06-07 22:05:50 -07:00

aniva pushed to wayland/eww at aniva/config

• a2eb17df7e feat: Eww bar colour adjustments

2024-06-07 14:41:19 -07:00

aniva pushed to game/touhou at aniva/OpenMusicScores

• 8284bf22cd Fix some notes

2024-06-07 09:21:00 -07:00

aniva pushed to game/touhou at aniva/OpenMusicScores

• 4f7c498bb5 The Gensokyo the Gods Loved

2024-06-06 23:14:48 -07:00

aniva opened issue aniva/Pantograph#77

Unclear error message

2024-06-06 15:23:55 -07:00

aniva pushed to goal/mapply at aniva/Pantograph

• 3a53493089 feat: Show delayed assignment in goal diag

2024-06-05 16:15:10 -07:00

aniva pushed to goal/mapply at aniva/Pantograph

• 6dcff8b151 fix: Print diag in mvar context

2024-06-05 15:56:40 -07:00

aniva pushed to goal/mapply at aniva/Pantograph

• 3c90c94645 fix: Execute instantiateAll in goal state diag

2024-06-05 13:45:29 -07:00

aniva pushed to wayland/eww at aniva/config

• b48bfabe9a fix: Icon size to 25
• 07aef5a19b feat: eww temperature monitoring
• Compare 2 commits »

2024-06-03 00:04:02 -07:00

aniva pushed to wayland/eww at aniva/config

• 9b2bd7ad99 feat: Simplification and time display

2024-06-02 18:24:05 -07:00

aniva pushed to wayland/eww at aniva/config

• 664e5ed27a chore: Remove unused hbar

2024-06-02 15:29:14 -07:00

aniva pushed to wayland/eww at aniva/config

• 45cddf8389 feat: Show current master/capture state

2024-06-02 15:10:11 -07:00