Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Group
• https://leni.sh

• Admin of this website

• Joined on 2023-08-21

Repositories

10

Projects Packages Public Activity Starred Repositories

2

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 created branch bug/rustfmt in aniva/config 2023-09-17 14:33:02 -07:00

aniva pushed to bug/rustfmt at aniva/config 2023-09-17 14:33:02 -07:00

10083cc44d Remove rustfmt.toml symbolic link

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 »