Leni Aniva aniva

0 Followers · 1 Following

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

• Admin of this website

• Joined on 2023-08-21

Repositories

22

Projects Packages Public Activity Starred Repositories

2

Loading Heatmap…

aniva created branch io/serial in aniva/Pantograph

2023-08-22 09:57:12 -07:00

aniva pushed to main at aniva/To-The-Stars

• 96df29b1f9 Restructure notes to prepare for branching

2023-08-21 23:31:54 -07:00

aniva opened issue aniva/Pantograph#1

Allow adding definitions to environments

2023-08-21 19:53:21 -07:00

aniva pushed to main at aniva/To-The-Stars

• 3d8bd16355 Rename chapter files and add map stub
• 46b21526ba Update note to I.2 and add battle diagram of I.1
• 184bcd7653 Separate notes into own folder
• 358c3e5b53 Add diagram stub
• b10e10e0c6 Initial commit with notes

2023-08-21 10:52:41 -07:00

aniva created branch main in aniva/To-The-Stars

2023-08-21 10:52:41 -07:00

aniva created repository aniva/To-The-Stars

2023-08-21 10:52:22 -07:00

aniva pushed to main at aniva/common

• 85412a0282 Merge branch 'emacs'
• d1fafb1d2c Change tabs to 3 in rustfmt
• Compare 2 commits »

2023-08-21 10:49:24 -07:00

aniva created branch main in aniva/common

2023-08-21 10:49:24 -07:00

aniva pushed to emacs at aniva/common

2023-08-21 10:49:24 -07:00

aniva created branch emacs in aniva/common

2023-08-21 10:49:24 -07:00

aniva created repository aniva/common

2023-08-21 10:49:06 -07:00

aniva created branch dev in aniva/Pantograph

2023-08-21 10:48:15 -07:00

aniva pushed to dev at aniva/Pantograph

• ddf7ec21c8 Add compressed json print option; Rearrange commands into hierarchy
• 0e61093f47 Add proof variable delta; Bump version to 0.2.1
• d476354a4a Add expression sexp printing (2/2)
• 19c57ada1e Add expression sexp printing (1/2, tests pending)
• d705cdf0e5 version bump, restructure
• Compare 5 commits »

2023-08-21 10:48:15 -07:00

aniva pushed to main at aniva/Pantograph

2023-08-21 10:48:15 -07:00

aniva created branch main in aniva/Pantograph

2023-08-21 10:48:15 -07:00

aniva created repository aniva/Pantograph

2023-08-21 10:47:51 -07:00