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

1,516 contributions in the last 12 months

Less

More

aniva created branch main in aniva/Patterns 2024-11-13 20:34:50 -08:00

aniva created repository aniva/Patterns 2024-11-13 20:34:38 -08:00

aniva pushed to serial/pickle at aniva/Pantograph 2024-11-13 19:50:48 -08:00

2790553180 feat: Environment save/load commands

aniva commented on issue aniva/Pantograph#118 2024-11-13 17:01:06 -08:00

Used constant for tactic info extraction

#119

aniva closed issue aniva/Pantograph#118 2024-11-13 17:01:06 -08:00

Used constant for tactic info extraction

aniva pushed to misc/senbonzakura at aniva/OpenMusicScores 2024-11-12 23:21:42 -08:00

b33f0136ac Add bridge 0

aniva commented on pull request aniva/Pantograph#115 2024-11-12 14:59:11 -08:00

chore: Update Lean4 upstream to unofficial flake

Pending fix of darwin builds of Lean v4.12.0

aniva opened issue aniva/config#22 2024-11-11 12:48:50 -08:00

Remove official doomemacs lean module

aniva closed issue aniva/config#19 2024-11-11 12:48:24 -08:00

Add Kando

aniva commented on issue aniva/config#19 2024-11-11 12:48:24 -08:00

Add Kando

#20

aniva deleted branch frontend/data from aniva/Pantograph 2024-11-10 21:29:37 -08:00

aniva pushed to dev at aniva/Pantograph 2024-11-10 21:29:37 -08:00

4f6ccd3e82 Merge pull request 'feat: Extract used constants from invocation' (#119) from frontend/data into dev

77b577d0e3 Merge branch 'dev' into frontend/data

d7c9590780 feat: Extract used constants from invocation

Compare 3 commits »

aniva merged pull request aniva/Pantograph#119 2024-11-10 21:29:35 -08:00

feat: Extract used constants from invocation

aniva pushed to frontend/data at aniva/Pantograph 2024-11-08 14:52:08 -08:00

77b577d0e3 Merge branch 'dev' into frontend/data

8fe4c78c2a doc: Change license to Apache2

Compare 2 commits »

aniva pushed to serial/pickle at aniva/Pantograph 2024-11-08 14:50:10 -08:00

495ea1ac14 feat: Environment pickling

aniva created pull request aniva/Pantograph#120 2024-11-08 14:42:32 -08:00

feat: State and environment pickling

aniva pushed to serial/pickle at aniva/Pantograph 2024-11-08 14:41:39 -08:00

ee8063e1f5 refactor: Merge all Delation functions

aniva pushed to serial/pickle at aniva/Pantograph 2024-11-08 14:34:36 -08:00

70f86f6e93 doc: Update delation documentation

aniva created branch serial/pickle in aniva/Pantograph 2024-11-08 13:06:42 -08:00

aniva pushed to serial/pickle at aniva/Pantograph 2024-11-08 13:06:42 -08:00

0d57027681 refactor: Merge Condensed into Delate

1c4f38e5eb refactor: Rename {Serial,Delate}.lean

Compare 2 commits »