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

12

Projects Packages Public Activity Starred Repositories

9

aniva deleted branch serial/projection from aniva/Pantograph 2024-04-09 21:28:54 -07:00

aniva pushed to dev at aniva/Pantograph 2024-04-09 21:28:54 -07:00

56cfe523df fix: Leading element in .proj sexp

9cc770c3c9 fix: Serialization of .proj

Compare 2 commits »

aniva merged pull request aniva/Pantograph#64 2024-04-09 21:28:53 -07:00

fix: Serialization of projection operators

aniva created pull request aniva/Pantograph#64 2024-04-09 21:19:43 -07:00

fix: Serialization of projection operators

aniva pushed to serial/projection at aniva/Pantograph 2024-04-09 10:07:07 -07:00

56cfe523df fix: Leading element in .proj sexp

aniva pushed to serial/projection at aniva/Pantograph 2024-04-09 10:03:56 -07:00

9cc770c3c9 fix: Serialization of .proj

aniva created branch serial/projection in aniva/Pantograph 2024-04-09 10:03:56 -07:00

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-09 09:11:59 -07:00

100cdd885f fix: Coupling from unrelated goals

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 13:13:07 -07:00

9a04fd4819 feat: Focus command

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:54:21 -07:00

dd94e29293 refactor: Monads in library

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:50:56 -07:00

9fbc65829d feat: FFI interface to conv functions

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:45:15 -07:00

f3a3ca31a0 doc: Remove outdated comments

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:32:51 -07:00

73bdcb6be6 refactor: Use the `tactic interface for `conv

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:26:42 -07:00

3094d11e48 feat: Conv tactic functions

ea0f411949 Merge branch 'dev' into goal/have-conv-calc

c629163aa1 perf: Lazy run print monads

Compare 3 commits »

aniva deleted branch goal/tactic from aniva/Pantograph 2024-04-08 10:38:12 -07:00

aniva pushed to dev at aniva/Pantograph 2024-04-08 10:37:29 -07:00

c629163aa1 perf: Lazy run print monads

aniva deleted branch serial/expr from aniva/Pantograph 2024-04-08 10:37:29 -07:00

aniva merged pull request aniva/Pantograph#63 2024-04-08 10:37:28 -07:00

perf: Lazy run print monads

aniva created pull request aniva/Pantograph#63 2024-04-08 10:33:32 -07:00

perf: Lazy run print monads

aniva pushed to serial/expr at aniva/Pantograph 2024-04-08 10:32:44 -07:00

c629163aa1 perf: Lazy run print monads