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 pushed to delate/sexp at aniva/Pantograph 2024-11-26 12:35:09 -08:00
a8e7a1a726 feat: Erase macro scopes in sexp
aniva created pull request aniva/Pantograph#129 2024-11-26 12:19:04 -08:00
feat: Pickling goal states
aniva created pull request aniva/Pantograph#128 2024-11-26 12:18:09 -08:00
feat: Extract type error and new constants
aniva created branch frontend/infotree in aniva/Pantograph 2024-11-26 12:16:38 -08:00
aniva pushed to frontend/infotree at aniva/Pantograph 2024-11-26 12:16:38 -08:00
9894ad7c7e refactor: InfoTree functions
aniva opened issue aniva/Pantograph#127 2024-11-26 11:31:35 -08:00
Drafting tactic in goals
aniva pushed to system/darwin at aniva/config 2024-11-25 20:44:07 -08:00
0333edab16 feat: Add development tools
aniva opened issue aniva/Pantograph#126 2024-11-25 15:21:55 -08:00
Extraction of new symbols in each compilation unit
aniva opened issue aniva/Pantograph#125 2024-11-25 15:21:11 -08:00
Wrong code/Compilation Failure Extraction
aniva created pull request aniva/OpenMusicScores#10 2024-11-24 23:57:02 -08:00
Bad Apple!! (Remixed)
aniva pushed to game/touhou/04-bad-apple at aniva/OpenMusicScores 2024-11-24 23:56:42 -08:00
f2175e83e8 Main section of Bad Apple
aniva created branch game/touhou/04-bad-apple in aniva/OpenMusicScores 2024-11-24 23:56:42 -08:00
aniva deleted branch game/touhou from aniva/OpenMusicScores 2024-11-24 23:28:26 -08:00
aniva deleted branch misc/senbonzakura from aniva/OpenMusicScores 2024-11-24 23:28:13 -08:00
aniva pushed to main at aniva/OpenMusicScores 2024-11-24 23:28:13 -08:00
7a1f459fdf Merge pull request 'Senbonzakura for violin' (#5) from misc/senbonzakura into main
b33f0136ac Add bridge 0
d4871c789d Finger position fix
d6e2d50348 Senbonzakura finger positions
0965eff789 Senbonzakura last part
Compare 6 commits »
aniva merged pull request aniva/OpenMusicScores#5 2024-11-24 23:28:11 -08:00
Senbonzakura for violin
aniva pushed to main at aniva/OpenMusicScores 2024-11-24 23:27:58 -08:00
5142d9de09 Merge pull request 'More Touhou' (#9) from game/touhou into main
c4093f1d44 fix: Necrofantasia bowing
5dc9f82577 Merge branch 'main' into game/touhou
ddfae30db4 Add key signature for touhou intro
36dbc67ca1 Necrofantasia arpeggio, touhou intro with 3/4 time
Compare 8 commits »
aniva merged pull request aniva/OpenMusicScores#9 2024-11-24 23:27:56 -08:00
More Touhou
aniva created pull request aniva/config#24 2024-11-24 01:57:51 -08:00
fix: LSP config incompatibility and lean mode
aniva pushed to emacs at aniva/config 2024-11-24 01:57:35 -08:00
fb053b95dc fix: LSP config incompatibility and lean mode
c0838623fb Merge pull request 'doc: Add system installation guide' (#17) from system into main
15f5b6fd36 Merge branch 'main' into system
cd9037b97e Merge pull request 'feat: Use two line fish prompt' (#21) from ui/fish into main
b9a1bf3dd3 feat: Set bg color to differentiate prompt
Compare 11 commits »