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 pull request aniva/config#15 2024-09-03 13:07:22 -07:00

fix: Hyprland config update

aniva created pull request aniva/config#14 2024-09-03 13:06:24 -07:00

feat: Option to toggle opacity and screenshot

aniva deleted branch linux-sway from aniva/config 2024-09-03 13:04:48 -07:00

aniva pushed to wayland/sway at aniva/config 2024-09-03 13:04:48 -07:00

46f3f1fffe fix: Screenshot and transparency

aniva created branch wayland/sway in aniva/config 2024-09-03 13:04:48 -07:00

aniva closed pull request aniva/config#12 2024-09-03 13:04:48 -07:00

fix: Linux sway and eww settings

aniva created branch wayland/hypr in aniva/config 2024-09-03 13:04:27 -07:00

aniva pushed to wayland/hypr at aniva/config 2024-09-03 13:04:27 -07:00

7a9bd87e73 fix: Remove deleted option

aniva deleted branch bug/resume-type-unification from aniva/Pantograph 2024-09-02 22:06:13 -07:00

aniva commented on pull request aniva/Pantograph#89 2024-09-02 19:43:36 -07:00

fix: Resume not taking type unification into account

The bug is not due to this repo

aniva closed pull request aniva/Pantograph#89 2024-09-02 19:43:36 -07:00

fix: Resume not taking type unification into account

aniva commented on issue aniva/Pantograph#88 2024-09-02 19:43:22 -07:00

Resumption not taking type unification into account

This was a bug in the downstream Tactic.exact implementation.

aniva closed issue aniva/Pantograph#88 2024-09-02 19:43:22 -07:00

Resumption not taking type unification into account

aniva opened issue aniva/config#13 2024-09-02 17:33:07 -07:00

Emacs freezes while using LSP

aniva closed issue aniva/config#6 2024-09-02 17:31:39 -07:00

Replace waybar with eww

aniva commented on issue aniva/config#6 2024-09-02 17:31:39 -07:00

Replace waybar with eww

Done

aniva created pull request aniva/Pantograph#89 2024-08-31 20:08:36 -07:00

fix: Resume not taking type unification into account

aniva pushed to bug/resume-type-unification at aniva/Pantograph 2024-08-31 20:08:04 -07:00

aniva created branch bug/resume-type-unification in aniva/Pantograph 2024-08-31 20:08:04 -07:00

aniva deleted branch tactic/eval from aniva/Pantograph 2024-08-31 20:04:40 -07:00