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 pushed tag v0.2.18 to aniva/Pantograph 2024-09-08 12:27:33 -07:00
aniva pushed to dev at aniva/Pantograph 2024-09-08 12:25:08 -07:00
27e4e45418 Merge pull request 'feat: Automatic Mode' (#92) from goal/automatic into dev
b645d79fda Merge branch 'dev' into goal/automatic
25bb964604 test: Automatic mode testing
e4d53733d0 feat: Simplify repl
68dac4c951 chore: Version bump to 0.2.18
Compare 10 commits »
aniva deleted branch goal/automatic from aniva/Pantograph 2024-09-08 12:25:08 -07:00
aniva merged pull request aniva/Pantograph#92 2024-09-08 12:25:07 -07:00
feat: Automatic Mode
aniva pushed to goal/automatic at aniva/Pantograph 2024-09-08 12:13:49 -07:00
b645d79fda Merge branch 'dev' into goal/automatic
e36954a589 Merge pull request 'feat: Expose `GoalState` functions' (#94) from lib/export into dev
414f1c70fd Merge branch 'dev' into lib/export
7c49fcff27 refactor: Un-export two field accessor functions
f11c5ebaa3 doc: Add GPL License
Compare 8 commits »
aniva pushed to dev at aniva/Pantograph 2024-09-08 12:10:48 -07:00
e36954a589 Merge pull request 'feat: Expose `GoalState` functions' (#94) from lib/export into dev
414f1c70fd Merge branch 'dev' into lib/export
7c49fcff27 refactor: Un-export two field accessor functions
4042ec707e refactor: Use `Meta.mapMetaM`
8394e1b468 feat: Expose `conv` and `calc` tactics
Compare 6 commits »
aniva deleted branch lib/export from aniva/Pantograph 2024-09-08 12:10:48 -07:00
aniva merged pull request aniva/Pantograph#94 2024-09-08 12:10:47 -07:00
feat: Expose `GoalState` functions
aniva pushed to lib/export at aniva/Pantograph 2024-09-08 12:01:17 -07:00
414f1c70fd Merge branch 'dev' into lib/export
f11c5ebaa3 doc: Add GPL License
Compare 2 commits »
aniva pushed to goal/automatic at aniva/Pantograph 2024-09-08 11:57:57 -07:00
25bb964604 test: Automatic mode testing
aniva pushed to lib/export at aniva/Pantograph 2024-09-08 11:54:06 -07:00
7c49fcff27 refactor: Un-export two field accessor functions
aniva commented on issue aniva/Pantograph#23 2024-09-08 01:10:47 -07:00
Printing fine-grained delaboration structure

Alignment heuristics are not needed in Trillium anymore. This could still be useful to just provide training data, but I don't see a way to inject code into the Delab monad.

aniva opened issue aniva/Pantograph#97 2024-09-08 01:09:59 -07:00
Parse and enter environment at arbitrary points of the input
aniva commented on pull request aniva/config#17 2024-09-08 00:28:10 -07:00
doc: Add system installation guide

Maybe add a word or two about labeling the partitions?

aniva deleted branch misc/license from aniva/Pantograph 2024-09-07 14:12:35 -07:00
aniva pushed to dev at aniva/Pantograph 2024-09-07 14:12:35 -07:00
f11c5ebaa3 doc: Add GPL License
aniva merged pull request aniva/Pantograph#96 2024-09-07 14:12:34 -07:00
doc: Add GPL License
aniva created pull request aniva/Pantograph#96 2024-09-07 14:11:36 -07:00
doc: Add GPL License
aniva pushed to misc/license at aniva/Pantograph 2024-09-07 14:11:21 -07:00
f11c5ebaa3 doc: Add GPL License
aniva created branch misc/license in aniva/Pantograph 2024-09-07 14:11:21 -07:00