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
13
 Projects Packages Public Activity Starred Repositories
9
aniva merged pull request aniva/config#4 2023-09-17 14:34:29 -07:00
Remove rustfmt.toml symbolic link
aniva created pull request aniva/config#4 2023-09-17 14:33:27 -07:00
Remove rustfmt.toml symbolic link
aniva pushed to bug/rustfmt at aniva/config 2023-09-17 14:33:02 -07:00
10083cc44d Remove rustfmt.toml symbolic link
aniva created branch bug/rustfmt in aniva/config 2023-09-17 14:33:02 -07:00
aniva pushed to main at aniva/config 2023-09-17 14:21:45 -07:00
3cc400f22e Merge pull request 'Add macOS specific configuration files' (#1) from macOS into main
962577c6b1 Add comment in README-MacOS.org
740bb568ec Add skhd and yabai
Compare 3 commits »
aniva merged pull request aniva/config#1 2023-09-17 14:21:44 -07:00
Add macOS specific configuration files
aniva pushed to macOS at aniva/config 2023-09-17 14:18:36 -07:00
962577c6b1 Add comment in README-MacOS.org
aniva created pull request aniva/config#3 2023-09-17 10:20:27 -07:00
Add LaTeX command improvements and new packages
aniva pushed to emacs at aniva/config 2023-09-17 10:19:03 -07:00
95932db545 Globally advise TeX-master-{directory,file}
aniva created branch emacs in aniva/config 2023-09-17 00:31:36 -07:00
aniva pushed to emacs at aniva/config 2023-09-17 00:31:36 -07:00
ca3d679c54 Add LaTeX relative to .latexmkrc compile hook
aniva pushed to dev at aniva/Pantograph 2023-09-13 21:04:43 -07:00
1e637dabaa Bump lean version to 4.0.0
aniva deleted branch misc/version from aniva/Pantograph 2023-09-13 21:04:43 -07:00
aniva merged pull request aniva/Pantograph#13 2023-09-13 21:04:41 -07:00
Bump lean version to 4.0.0
aniva created pull request aniva/Pantograph#13 2023-09-13 21:03:05 -07:00
Bump lean version to 4.0.0
aniva created branch misc/version in aniva/Pantograph 2023-09-13 21:02:44 -07:00
aniva pushed to misc/version at aniva/Pantograph 2023-09-13 21:02:44 -07:00
1e637dabaa Bump lean version to 4.0.0
aniva pushed to wiki at aniva/To-The-Stars 2023-09-12 17:05:43 -07:00
5ac418aa02 Up to 1.4
aniva pushed to wiki at aniva/To-The-Stars 2023-09-12 16:33:25 -07:00
009da20efe Up to 1.4.117
aniva pushed to wiki at aniva/To-The-Stars 2023-09-12 15:22:07 -07:00
b249155d70 Add citation checking
957af95ba1 Add litwiki unit test to pre commit hook
4e336fb6b2 Rename by volume
4ebff768ce Move diagrams to their own directory
Compare 4 commits »