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 frontend/collect-holes at aniva/Pantograph 2024-10-03 11:36:18 -07:00
530a1a1a97 fix: Extracting `sorry`s from coupled goals
aniva pushed to dev at aniva/Pantograph 2024-10-03 08:47:32 -07:00
b174b4ea79 Merge pull request 'fix: Tactics should produce `.syntheticOpaque` goals' (#100) from goal/tactic into dev
ed1f96d7f7 Merge branch 'dev' into goal/tactic
5e99237e09 fix: Tactics should produce `.syntheticOpaque` goals
Compare 3 commits »
aniva merged pull request aniva/Pantograph#100 2024-10-03 08:47:31 -07:00
fix: Tactics should produce `.syntheticOpaque` goals
aniva pushed to goal/tactic at aniva/Pantograph 2024-10-03 01:39:00 -07:00
ed1f96d7f7 Merge branch 'dev' into goal/tactic
9075ded885 feat: Set `automaticMode` to true by default
Compare 2 commits »
aniva commented on pull request aniva/Pantograph#99 2024-10-03 01:31:02 -07:00
feat: Collect holes in Lean file and put them into a GoalState

Fixed #103

aniva pushed to frontend/collect-holes at aniva/Pantograph 2024-10-03 01:30:11 -07:00
143cd289bb fix: Extraction of sorry's from nested tactics
aniva pushed to frontend/collect-holes at aniva/Pantograph 2024-10-02 22:22:44 -07:00
18cd1d0388 fix: Extracting sorrys from sketches
aniva opened issue aniva/Pantograph#103 2024-10-02 16:55:45 -07:00
Metavariable not found bug with sorry collection
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-09-29 22:31:21 -07:00
c4093f1d44 fix: Necrofantasia bowing
aniva created pull request aniva/OpenMusicScores#9 2024-09-29 22:30:53 -07:00
More Touhou
aniva pushed to ui/kando at aniva/config 2024-09-27 01:06:32 -07:00
274d09ce54 feat: macOS keybindings
aniva pushed to ui/kando at aniva/config 2024-09-27 00:52:37 -07:00
0c51670191 feat: Basic Kando menu
aniva created branch ui/kando in aniva/config 2024-09-27 00:52:37 -07:00
aniva pushed to main at aniva/config 2024-09-26 23:51:38 -07:00
e1f3d669ad Merge pull request 'feat: Emacs featureset update' (#18) from emacs into main
3afebacb07 feat: Set indentation level
3e1940d347 Merge branch 'main' into emacs
ab3a0ce04f feat: Remove unused and broken scad mode
ec4af50a10 feat: Add lsp +eglot, magit +forge
Compare 7 commits »
aniva merged pull request aniva/config#18 2024-09-26 23:51:38 -07:00
feat: Emacs featureset update
aniva pushed to emacs at aniva/config 2024-09-23 19:53:48 -07:00
3afebacb07 feat: Set indentation level
aniva pushed to emacs at aniva/config 2024-09-23 19:52:43 -07:00
3e1940d347 Merge branch 'main' into emacs
14adae845e Merge pull request 'feat: Option to toggle opacity and screenshot' (#14) from wayland/sway into main
7562b4d747 Merge branch 'main' into wayland/sway
9f9c234161 Merge pull request 'fix: Hyprland config update, eww bar integration' (#15) from wayland/hypr into main
0d697fa202 Merge branch 'main' into wayland/hypr
Compare 20 commits »
aniva pushed to main at aniva/config 2024-09-23 19:52:00 -07:00
14adae845e Merge pull request 'feat: Option to toggle opacity and screenshot' (#14) from wayland/sway into main
7562b4d747 Merge branch 'main' into wayland/sway
46f3f1fffe fix: Screenshot and transparency
Compare 3 commits »
aniva merged pull request aniva/config#14 2024-09-23 19:51:58 -07:00
feat: Option to toggle opacity and screenshot
aniva pushed to emacs at aniva/config 2024-09-23 19:50:50 -07:00
ab3a0ce04f feat: Remove unused and broken scad mode
ec4af50a10 feat: Add lsp +eglot, magit +forge
Compare 2 commits »