Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Group
• https://leni.sh

• Admin of this website

• Joined on 2023-08-21

Repositories

10

Projects Packages Public Activity Starred Repositories

2

aniva pushed to dev at aniva/Pantograph 2024-03-28 12:05:17 -07:00

91e55245fa doc: Update README.md

22fdb7bea9 build: Nix build targets and checks

60903bf31f feat: Bump toolchain version

Compare 3 commits »

aniva deleted branch misc/toolchain from aniva/Pantograph 2024-03-28 12:05:17 -07:00

aniva merged pull request aniva/Pantograph#49 2024-03-28 12:05:15 -07:00

build: Toolchain bump and Nix flake fix

aniva created pull request aniva/Pantograph#49 2024-03-28 11:37:49 -07:00

build: Toolchain bump and Nix flake fix

aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 11:37:19 -07:00

91e55245fa doc: Update README.md

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 pushed to misc/version at aniva/Pantograph 2024-03-26 19:21:47 -07:00

aniva created branch misc/version in 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 created branch main in aniva/ReproduciblePython 2024-03-17 16:14:24 -07:00

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

96084f2f75 Initial commit

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 merged pull request aniva/Pantograph#48 2024-03-16 19:01:04 -07:00

feat: Output shared library in Nix flake

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 deleted branch feature/lib from aniva/Pantograph 2024-03-16 19:01:04 -07:00

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

a3a244159b chore: Version bump to 0.2.13