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

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

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

f42a27e036 feat(lib): Expose goal state interface

aniva pushed to feature/lib at aniva/Pantograph 2024-03-10 06:41:54 -07:00

d958dbed9d feat(lib): CoreM execution function

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 20:37:57 -08:00

ca89d671cc refactor: Move some functions to `Library.lean`

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 20:34:00 -08:00

dc6d5d0ab0 refactor: Move some functions to `Library.lean`

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 19:36:46 -08:00

4706df2217 feat(lib): Search path function