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 to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:50:56 -07:00
9fbc65829d feat: FFI interface to conv functions
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:45:15 -07:00
f3a3ca31a0 doc: Remove outdated comments
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:32:51 -07:00
73bdcb6be6 refactor: Use the `tactic interface for `conv
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:26:42 -07:00
3094d11e48 feat: Conv tactic functions
ea0f411949 Merge branch 'dev' into goal/have-conv-calc
c629163aa1 perf: Lazy run print monads
Compare 3 commits »
aniva deleted branch goal/tactic from aniva/Pantograph 2024-04-08 10:38:12 -07:00
aniva deleted branch serial/expr from aniva/Pantograph 2024-04-08 10:37:29 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-08 10:37:29 -07:00
c629163aa1 perf: Lazy run print monads
aniva merged pull request aniva/Pantograph#63 2024-04-08 10:37:28 -07:00
perf: Lazy run print monads
aniva created pull request aniva/Pantograph#63 2024-04-08 10:33:32 -07:00
perf: Lazy run print monads
aniva pushed to serial/expr at aniva/Pantograph 2024-04-08 10:32:44 -07:00
c629163aa1 perf: Lazy run print monads
aniva created branch serial/expr in aniva/Pantograph 2024-04-08 10:32:44 -07:00
aniva deleted branch goal/relation from aniva/Pantograph 2024-04-08 10:30:08 -07:00
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-07 17:04:11 -07:00
ab0d87450a feat: Conv tactic mode
aniva pushed to misc/lemon at aniva/OpenMusicScores 2024-04-07 15:22:02 -07:00
5131965b2f Lemon remainder, articulation, and finger position
aniva created pull request aniva/OpenMusicScores#8 2024-04-07 14:44:34 -07:00
Lemon (Yonezu Kenshi)
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-07 14:32:47 -07:00
aba1d9be10 refactor: Metavariable set diff function
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-07 14:22:34 -07:00
9d7c9598f5 feat: Partial implementation of `conv`
aniva pushed to misc/lemon at aniva/OpenMusicScores 2024-04-06 23:30:18 -07:00
02715c34d4 Lemon (part 1)
aniva created branch misc/lemon in aniva/OpenMusicScores 2024-04-06 23:30:18 -07:00
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 22:05:01 -07:00
5925b6163a Merge branch 'dev' into goal/have-conv-calc
be44eadde5 Merge pull request 'fix: Auto bound implicit in elab' (#60) from elab/level into dev
d72a60f4e4 fix: Auto bound implicit in elab
Compare 3 commits »