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

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 16:50:53 -08:00

863c6d9e7d feat(lib): Catalog command FFI

aniva pushed to main at aniva/RustCallLean 2024-03-09 16:00:09 -08:00

66dbf9ba3e Merge branch 'data-structures'

9714c61934 Rephrase error message

01a51b4e08 Add structure and inductive examples

Compare 3 commits »

aniva pushed to main at aniva/RustCallLean 2024-03-09 15:59:24 -08:00

6e1af2794d Tidying up the code

aniva pushed to feature/lib at aniva/Pantograph 2024-03-08 23:51:12 -08:00

021d0b5b7d feat: Add exported version function

aniva pushed to data-structures at aniva/RustCallLean 2024-03-07 21:48:40 -08:00

9714c61934 Rephrase error message

aniva pushed to data-structures at aniva/RustCallLean 2024-03-07 21:38:06 -08:00

01a51b4e08 Add structure and inductive examples

aniva created branch data-structures in aniva/RustCallLean 2024-03-07 21:38:06 -08:00

aniva pushed to main at aniva/RustCallLean 2024-03-07 00:20:16 -08:00

1f8807a809 Add usage and code cleanup

aniva pushed to misc/senbonzakura at aniva/OpenMusicScores 2024-03-06 19:55:31 -08:00

bf9e1521e0 Disconnect slurs