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 pushed to wayland/eww at aniva/config

• aecf181eac feat: Eww bar capture control

2024-06-02 15:03:22 -07:00

aniva pushed to wayland/eww at aniva/config

• c601a17ae9 fix: eww stylesheet and window title

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

aniva pushed to wayland/eww at aniva/config

• 9147fa3fff feat: Move set-workspace to compositor-control

2024-06-02 06:21:50 -07:00

aniva pushed to wayland/eww at aniva/config

• 9ca97466a1 feat: Display hyprland title in eww. Doc update

2024-06-02 06:15:12 -07:00

aniva commented on issue aniva/Pantograph#9

Extraction of tactics from syntax tree

Solved by #76

2024-05-31 20:27:45 -07:00

aniva closed issue aniva/Pantograph#9

Extraction of tactics from syntax tree

2024-05-31 20:27:45 -07:00

aniva merged pull request aniva/Pantograph#76

feat: Extraction of tactics from compiler

2024-05-31 20:23:51 -07:00

aniva pushed to dev at aniva/Pantograph

• 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 »

2024-05-31 20:23:51 -07:00

aniva pushed to compile/tactic at aniva/Pantograph

• a2c5c7448c chore: Code simplification, version bump

2024-05-31 20:23:22 -07:00

aniva pushed to compile/tactic at aniva/Pantograph

• 855e771609 feat: Add compilation unit boundary command

2024-05-31 16:36:02 -07:00

aniva pushed to wayland/eww at aniva/config

• 240ab80383 feat: Moving towards eww bar only
• 133b8f59fb fix: Hyprland socket address update
• Compare 2 commits »

2024-05-31 14:36:34 -07:00

aniva created branch wayland/eww in aniva/config

2024-05-31 14:36:34 -07:00

aniva pushed to emacs at aniva/config

• 658206428c fix: Remove key collisions for scad-preview-mode

2024-05-30 23:54:17 -07:00

aniva pushed to compile/tactic at aniva/Pantograph

• b9b16ba0e9 refactor: Code cleanup

2024-05-28 20:24:44 -07:00

aniva created pull request aniva/Pantograph#76

feat: Extraction of tactics from compiler

2024-05-28 17:28:40 -07:00

aniva pushed to compile/tactic at aniva/Pantograph

• 09628309a9 feat: Basic tactic extraction (before/after/tactic)

2024-05-28 17:25:47 -07:00

aniva created branch compile/tactic in aniva/Pantograph

2024-05-28 17:25:46 -07:00

aniva pushed to goal/mapply at aniva/Pantograph

• bd42c396d7 chore: Code cleanup

2024-05-20 14:19:27 -07:00

aniva pushed to goal/mapply at aniva/Pantograph

• bbc00cbbb8 feat: Congruence tactic FFI interface and tests

2024-05-20 14:00:25 -07:00

aniva pushed to goal/mapply at aniva/Pantograph

• 75df7268c5 test: Simplify testing structure for tactics
• 92acf7782c test: CongruenceArg tactic
• Compare 2 commits »

2024-05-20 11:55:49 -07:00