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 pushed to misc/toolchain at aniva/Pantograph 2024-03-28 11:34:12 -07:00

22fdb7bea9 build: Nix build targets and checks

aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 00:06:54 -07:00

60903bf31f feat: Bump toolchain version

a3a244159b chore: Version bump to 0.2.13

bb09d1e964 chore: Version bump to 4.8.0 prerelease

b7542b4749 chore: Lean version bump to 4.7.0-rc2

689112d973 fix: Use Arrays only in the ABI

Compare 107 commits »

aniva created branch misc/version in aniva/Pantograph 2024-03-26 19:21:47 -07:00

aniva pushed to misc/version at aniva/Pantograph 2024-03-26 19:21:47 -07:00

aniva commented on issue aniva/Pantograph#9 2024-03-18 10:11:35 -07:00

Extraction of tactics from syntax tree

This is temporarily superseded by atomization in Trillium.

aniva pushed to main at aniva/ReproduciblePython 2024-03-17 16:14:24 -07:00

96084f2f75 Initial commit

aniva created branch main in aniva/ReproduciblePython 2024-03-17 16:14:24 -07:00

aniva renamed repository from Reproducible to aniva/ReproduciblePython 2024-03-17 16:13:54 -07:00

aniva renamed repository from Reproducible-Torch to aniva/ReproduciblePython 2024-03-17 16:13:15 -07:00

aniva created repository aniva/ReproduciblePython 2024-03-17 16:11:43 -07:00

aniva pushed tag v0.2.13 to aniva/Pantograph 2024-03-16 19:02:29 -07:00

aniva deleted branch feature/lib from aniva/Pantograph 2024-03-16 19:01:04 -07:00

aniva pushed to dev at aniva/Pantograph 2024-03-16 19:01:04 -07:00

a3a244159b chore: Version bump to 0.2.13

bb09d1e964 chore: Version bump to 4.8.0 prerelease

b7542b4749 chore: Lean version bump to 4.7.0-rc2

689112d973 fix: Use Arrays only in the ABI

b64adf31cf feat(lib): Export goal.print function

Compare 16 commits »

aniva merged pull request aniva/Pantograph#48 2024-03-16 19:01:04 -07:00

feat: Output shared library in Nix flake

aniva pushed to feature/lib at aniva/Pantograph 2024-03-16 19:00:39 -07:00

a3a244159b chore: Version bump to 0.2.13

aniva deleted branch version/lean-4.7.0-rc2 from aniva/RustCallLean 2024-03-15 19:39:30 -07:00

aniva pushed to feature/lib at aniva/Pantograph 2024-03-15 18:45:43 -07:00

bb09d1e964 chore: Version bump to 4.8.0 prerelease

aniva pushed to version/lean-4.7.0-rc2 at aniva/RustCallLean 2024-03-15 06:21:24 -07:00

7457bdf363 Bump Lean version to 4.7.0-rc2

aniva created branch version/lean-4.7.0-rc2 in aniva/RustCallLean 2024-03-15 06:21:24 -07:00

aniva pushed to feature/lib at aniva/Pantograph 2024-03-15 06:02:08 -07:00

b7542b4749 chore: Lean version bump to 4.7.0-rc2