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 created pull request aniva/Pantograph#134 2024-12-05 19:00:10 -08:00
chore: Update Lean to v4.14.0
aniva pushed to misc/version at aniva/Pantograph 2024-12-05 18:59:30 -08:00
fb3d36584f chore: Add formatter, update lean4-nix
aniva created branch misc/version in aniva/Pantograph 2024-12-05 18:55:45 -08:00
aniva pushed to misc/version at aniva/Pantograph 2024-12-05 18:55:45 -08:00
13dd11e995 chore: Update Lean to v4.14
aniva deleted branch doc/rationale from aniva/Pantograph 2024-12-05 17:24:21 -08:00
aniva pushed to dev at aniva/Pantograph 2024-12-05 17:24:21 -08:00
adb44c4fdb Merge pull request 'doc: Design Rationale Document' (#123) from doc/rationale into dev
4bd50c17ac Merge branch 'dev' into doc/rationale
a51bf6f807 Merge branch 'dev' into doc/rationale
5d676154f1 doc: Fix documentation link
ce3af887be doc: Rationale document
Compare 6 commits »
aniva merged pull request aniva/Pantograph#123 2024-12-05 17:24:20 -08:00
doc: Design Rationale Document
aniva pushed to doc/rationale at aniva/Pantograph 2024-12-05 17:24:00 -08:00
4bd50c17ac Merge branch 'dev' into doc/rationale
f59df97c84 Merge pull request 'doc: Documentation cleanup and update' (#133) from chore/cleanup into dev
95408d1d52 doc: Unify types
d00e376943 doc: Remove outdated documentation
ebf9ab24f7 Merge pull request 'feat: Pickling goal states' (#129) from serial/pickle into dev
Compare 14 commits »
aniva deleted branch chore/cleanup from aniva/Pantograph 2024-12-05 17:23:27 -08:00
aniva pushed to dev at aniva/Pantograph 2024-12-05 17:23:27 -08:00
f59df97c84 Merge pull request 'doc: Documentation cleanup and update' (#133) from chore/cleanup into dev
95408d1d52 doc: Unify types
d00e376943 doc: Remove outdated documentation
Compare 3 commits »
aniva merged pull request aniva/Pantograph#133 2024-12-05 17:23:25 -08:00
doc: Documentation cleanup and update
aniva created pull request aniva/Pantograph#133 2024-12-05 17:22:14 -08:00
doc: Documentation cleanup and update
aniva pushed to chore/cleanup at aniva/Pantograph 2024-12-05 17:21:20 -08:00
95408d1d52 doc: Unify types
d00e376943 doc: Remove outdated documentation
Compare 2 commits »
aniva created branch chore/cleanup in aniva/Pantograph 2024-12-05 17:21:20 -08:00
aniva commented on issue aniva/Pantograph#124 2024-12-05 16:43:33 -08:00
Erase macro scopes in sexp binders

Done #130

aniva closed issue aniva/Pantograph#124 2024-12-05 16:43:33 -08:00
Erase macro scopes in sexp binders
aniva pushed tag v0.2.21 to aniva/Pantograph 2024-12-05 16:42:11 -08:00
aniva closed issue aniva/Pantograph#95 2024-12-05 16:06:48 -08:00
Pickling
aniva commented on issue aniva/Pantograph#95 2024-12-05 16:06:45 -08:00
Pickling

Solved #129

aniva pushed to dev at aniva/Pantograph 2024-12-05 16:02:27 -08:00
ebf9ab24f7 Merge pull request 'feat: Pickling goal states' (#129) from serial/pickle into dev
bfdc7dd39e doc: Fix code environment
3da85b7f04 doc: Documentation for save/load
c54ce93ef5 feat: Goal State IO in REPL
105fb7af4b feat: Goal state pickling
Compare 7 commits »