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/Pantograph#16 2023-10-02 10:30:36 -07:00
Add dependency for lakefile and lean-toolchain
aniva pushed to misc/build at aniva/Pantograph 2023-10-02 10:30:23 -07:00
dabe6651a9 Add dependency for lakefile and lean-toolchain
aniva pushed to dev at aniva/Pantograph 2023-10-02 10:28:24 -07:00
2c3a7adb61 Use makefile instead of ad-hoc script
aniva merged pull request aniva/Pantograph#15 2023-10-02 10:28:22 -07:00
Use makefile instead of ad-hoc script
aniva created pull request aniva/Pantograph#15 2023-10-02 10:27:42 -07:00
Use makefile instead of ad-hoc script
aniva created branch misc/build in aniva/Pantograph 2023-10-02 10:26:44 -07:00
aniva pushed to misc/build at aniva/Pantograph 2023-10-02 10:26:44 -07:00
2c3a7adb61 Use makefile instead of ad-hoc script
aniva pushed to dev at aniva/Pantograph 2023-10-02 10:14:05 -07:00
8e02e6e7cc Add ready message to indicate the main loop is up
aniva merged pull request aniva/Pantograph#14 2023-10-02 10:14:03 -07:00
Add ready message to indicate the main loop is up
aniva pushed to misc/interaction at aniva/Pantograph 2023-10-02 10:13:50 -07:00
79a63be619 Merge branch 'dev' into misc/interaction
1e637dabaa Bump lean version to 4.0.0
Compare 2 commits »
aniva commented on pull request aniva/Pantograph#14 2023-10-02 10:11:29 -07:00
Add ready message to indicate the main loop is up

Tested on aniva/Trillium#52. Seems to be stable.

aniva created pull request aniva/Pantograph#14 2023-10-01 21:59:48 -07:00
Add ready message to indicate the main loop is up
aniva pushed to misc/interaction at aniva/Pantograph 2023-10-01 21:59:17 -07:00
fd4d3226a1 Add ready message to indicate the main loop is up
aniva created branch misc/interaction in aniva/Pantograph 2023-10-01 21:59:17 -07:00
aniva opened issue aniva/config#6 2023-09-23 14:50:58 -07:00
Replace waybar with eww
aniva pushed to emacs at aniva/config 2023-09-23 14:47:15 -07:00
eaad4245ee Merge branch 'main' into emacs
e60621c175 Merge pull request 'Migration to sway' (#5) from sway into main
6ba9e6464d Ensure capacity with hypr
bd82c3f4ec Add sway workspace handling for eww
941fba2690 Initial sway migration
Compare 6 commits »
aniva pushed to emacs at aniva/config 2023-09-23 14:46:56 -07:00
9c3e29e67f Add capnp mode
aniva merged pull request aniva/config#5 2023-09-23 14:46:11 -07:00
Migration to sway
aniva pushed to main at aniva/config 2023-09-23 14:46:11 -07:00
e60621c175 Merge pull request 'Migration to sway' (#5) from sway into main
6ba9e6464d Ensure capacity with hypr
bd82c3f4ec Add sway workspace handling for eww
941fba2690 Initial sway migration
Compare 4 commits »
aniva pushed to sway at aniva/config 2023-09-23 14:40:42 -07:00
6ba9e6464d Ensure capacity with hypr