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 branch desktop/waybar in aniva/config 2023-10-07 14:30:32 -07:00
aniva pushed to desktop/waybar at aniva/config 2023-10-07 14:30:32 -07:00
aniva created branch desktop/sway in aniva/config 2023-10-07 14:28:27 -07:00
aniva pushed to desktop/sway at aniva/config 2023-10-07 14:28:27 -07:00
aniva deleted branch sway from aniva/config 2023-10-07 14:28:27 -07:00
aniva pushed to tactic/dependency at aniva/Pantograph 2023-10-06 17:32:15 -07:00
42133f9b74 Add holes test stub
aniva created branch tactic/dependency in aniva/Pantograph 2023-10-06 17:32:15 -07:00
aniva commented on issue aniva/Pantograph#18 2023-10-06 16:31:26 -07:00
Companion Generation

Pushing back the 0.3 milestone by 20 days due to this problem and library definition readings.

aniva opened issue aniva/Pantograph#18 2023-10-06 16:30:53 -07:00
Companion Generation
aniva pushed to dev at aniva/Pantograph 2023-10-05 21:52:38 -07:00
5b002a9ceb Fix test failures
836a14fa63 Bump Lean version to 4.1.0
Compare 2 commits »
aniva merged pull request aniva/Pantograph#17 2023-10-05 21:52:38 -07:00
Bump Lean version to 4.1.0
aniva pushed to misc/toolchain at aniva/Pantograph 2023-10-05 17:51:49 -07:00
5b002a9ceb Fix test failures
aniva created pull request aniva/Pantograph#17 2023-10-05 17:50:13 -07:00
Bump Lean version to 4.1.0
aniva pushed to misc/toolchain at aniva/Pantograph 2023-10-05 17:49:56 -07:00
836a14fa63 Bump Lean version to 4.1.0
aniva created branch misc/toolchain in aniva/Pantograph 2023-10-05 17:49:56 -07:00
aniva pushed to emacs at aniva/config 2023-10-05 17:41:25 -07:00
23ade34b03 Add julia and lua. Remove tabs
aniva pushed to dev at aniva/Pantograph 2023-10-02 10:31:19 -07:00
5f2b394471 Add dependency for lakefile and lean-toolchain
aniva deleted branch misc/build from aniva/Pantograph 2023-10-02 10:31:19 -07:00
aniva merged pull request aniva/Pantograph#16 2023-10-02 10:31:18 -07:00
Add dependency for lakefile and lean-toolchain
aniva pushed to misc/build at aniva/Pantograph 2023-10-02 10:31:06 -07:00
5f2b394471 Add dependency for lakefile and lean-toolchain