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.13 to aniva/Pantograph 2024-03-16 19:02:29 -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 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

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 created branch version/lean-4.7.0-rc2 in aniva/RustCallLean 2024-03-15 06:21:24 -07:00

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 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

aniva pushed to feature/lib at aniva/Pantograph 2024-03-14 22:40:37 -07:00

689112d973 fix: Use Arrays only in the ABI

aniva pushed to feature/lib at aniva/Pantograph 2024-03-14 16:34:25 -07:00

b64adf31cf feat(lib): Export goal.print function

aniva pushed to feature/lib at aniva/Pantograph 2024-03-11 21:32:15 -07:00

c83af044b4 fix: Pass options by reference

aniva pushed to misc/senbonzakura at aniva/OpenMusicScores 2024-03-10 16:32:05 -07:00

d4871c789d Finger position fix

aniva deleted branch march/farewell-of-slavianka from aniva/OpenMusicScores 2024-03-10 16:31:46 -07:00

aniva pushed to main at aniva/OpenMusicScores 2024-03-10 16:31:46 -07:00

6ae0f9ca59 Merge pull request 'Fix Farewell of Slavianka tempo and midi gen' (#7) from march/farewell-of-slavianka into main

ec1bc08c30 Fix Farewell of Slavianka tempo and midi gen

Compare 2 commits »

aniva merged pull request aniva/OpenMusicScores#7 2024-03-10 16:31:45 -07:00

Fix Farewell of Slavianka tempo and midi gen

aniva pushed to feature/lib at aniva/Pantograph 2024-03-10 15:34:05 -07:00

285cf0416a feat(lib): Option creation function

aniva pushed to feature/lib at aniva/Pantograph 2024-03-10 15:10:17 -07:00

5db727e30b fix: Execute expr parsing within goal.start

aniva pushed to main at aniva/RustCallLean 2024-03-10 08:47:45 -07:00

86dc7f289e Add IO monad example