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 pushed to wayland/eww at aniva/config 2024-06-02 15:10:11 -07:00
45cddf8389 feat: Show current master/capture state
aniva pushed to wayland/eww at aniva/config 2024-06-02 15:03:22 -07:00
aecf181eac feat: Eww bar capture control
aniva pushed to wayland/eww at aniva/config 2024-06-02 07:18:18 -07:00
c601a17ae9 fix: eww stylesheet and window title
aniva pushed to wayland/eww at aniva/config 2024-06-02 06:21:50 -07:00
9147fa3fff feat: Move set-workspace to compositor-control
aniva pushed to wayland/eww at aniva/config 2024-06-02 06:15:12 -07:00
9ca97466a1 feat: Display hyprland title in eww. Doc update
aniva closed issue aniva/Pantograph#9 2024-05-31 20:27:45 -07:00
Extraction of tactics from syntax tree
aniva commented on issue aniva/Pantograph#9 2024-05-31 20:27:45 -07:00
Extraction of tactics from syntax tree

Solved by #76

aniva merged pull request aniva/Pantograph#76 2024-05-31 20:23:51 -07:00
feat: Extraction of tactics from compiler
aniva pushed to dev at aniva/Pantograph 2024-05-31 20:23:51 -07:00
67e7f22b0a Merge pull request 'feat: Extraction of tactics from compiler' (#76) from compile/tactic into dev
a2c5c7448c chore: Code simplification, version bump
855e771609 feat: Add compilation unit boundary command
b9b16ba0e9 refactor: Code cleanup
09628309a9 feat: Basic tactic extraction (before/after/tactic)
Compare 5 commits »
aniva pushed to compile/tactic at aniva/Pantograph 2024-05-31 20:23:22 -07:00
a2c5c7448c chore: Code simplification, version bump
aniva pushed to compile/tactic at aniva/Pantograph 2024-05-31 16:36:02 -07:00
855e771609 feat: Add compilation unit boundary command
aniva pushed to wayland/eww at aniva/config 2024-05-31 14:36:34 -07:00
240ab80383 feat: Moving towards eww bar only
133b8f59fb fix: Hyprland socket address update
Compare 2 commits »
aniva created branch wayland/eww in aniva/config 2024-05-31 14:36:34 -07:00
aniva pushed to emacs at aniva/config 2024-05-30 23:54:17 -07:00
658206428c fix: Remove key collisions for scad-preview-mode
aniva pushed to compile/tactic at aniva/Pantograph 2024-05-28 20:24:44 -07:00
b9b16ba0e9 refactor: Code cleanup
aniva created pull request aniva/Pantograph#76 2024-05-28 17:28:40 -07:00
feat: Extraction of tactics from compiler
aniva pushed to compile/tactic at aniva/Pantograph 2024-05-28 17:25:47 -07:00
09628309a9 feat: Basic tactic extraction (before/after/tactic)
aniva created branch compile/tactic in aniva/Pantograph 2024-05-28 17:25:46 -07:00
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 14:19:27 -07:00
bd42c396d7 chore: Code cleanup
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 14:00:25 -07:00
bbc00cbbb8 feat: Congruence tactic FFI interface and tests