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 to compile/tactic at aniva/Pantograph 2024-05-31 16:36:02 -07:00

855e771609 feat: Add compilation unit boundary command

aniva created branch wayland/eww in aniva/config 2024-05-31 14:36:34 -07:00

aniva pushed to wayland/eww at aniva/config 2024-05-31 14:36:34 -07:00

240ab80383 feat: Moving towards eww bar only

133b8f59fb fix: Hyprland socket address update

Compare 2 commits »

aniva pushed to emacs at aniva/config 2024-05-30 23:54:17 -07:00

658206428c fix: Remove key collisions for scad-preview-mode

aniva pushed to compile/tactic at aniva/Pantograph 2024-05-28 20:24:44 -07:00

b9b16ba0e9 refactor: Code cleanup

aniva created pull request aniva/Pantograph#76 2024-05-28 17:28:40 -07:00

feat: Extraction of tactics from compiler

aniva pushed to compile/tactic at aniva/Pantograph 2024-05-28 17:25:47 -07:00

09628309a9 feat: Basic tactic extraction (before/after/tactic)

aniva created branch compile/tactic in aniva/Pantograph 2024-05-28 17:25:46 -07:00

aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 14:19:27 -07:00

bd42c396d7 chore: Code cleanup

aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 14:00:25 -07:00

bbc00cbbb8 feat: Congruence tactic FFI interface and tests

aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 11:55:49 -07:00

75df7268c5 test: Simplify testing structure for tactics

92acf7782c test: CongruenceArg tactic

Compare 2 commits »

aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 11:08:23 -07:00

cf1c884c8c Merge branch 'dev' into goal/mapply

0aec757601 Merge pull request 'doc: README.md fix' (#73) from doc/readme into dev

e05c01109c Merge branch 'dev' into doc/readme

e165e41efa chore: Version bump to v4.8.0-rc1

7531ad628c doc: Documentation about conditional arguments

Compare 7 commits »

aniva pushed to goal/mapply at aniva/Pantograph 2024-05-20 10:56:05 -07:00

cc74d41b15 feat: Congruence tactics

aniva pushed to goal/mapply at aniva/Pantograph 2024-05-19 15:43:58 -07:00

2f951c8fef fix: Decoupling of mvars during instantiation

aniva pushed to dev at aniva/Pantograph 2024-05-17 20:33:20 -07:00

0aec757601 Merge pull request 'doc: README.md fix' (#73) from doc/readme into dev

e05c01109c Merge branch 'dev' into doc/readme

7531ad628c doc: Documentation about conditional arguments

52e5b5df50 doc: README.md fix

Compare 4 commits »

aniva merged pull request aniva/Pantograph#73 2024-05-17 20:33:19 -07:00

doc: README.md fix

aniva pushed to doc/readme at aniva/Pantograph 2024-05-17 20:33:08 -07:00

e05c01109c Merge branch 'dev' into doc/readme

e165e41efa chore: Version bump to v4.8.0-rc1

adbb07af2d fix: Option setting in REPL

Compare 3 commits »

aniva pushed to dev at aniva/Pantograph 2024-05-17 20:32:31 -07:00

e165e41efa chore: Version bump to v4.8.0-rc1

aniva deleted branch misc/version from aniva/Pantograph 2024-05-17 20:32:31 -07:00

aniva merged pull request aniva/Pantograph#75 2024-05-17 20:32:30 -07:00

chore: Version bump to v4.8.0-rc1