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 misc/interaction from aniva/Pantograph 2024-11-15 18:43:40 -08:00
aniva merged pull request aniva/Pantograph#121 2024-11-15 17:44:02 -08:00
chore: Update lean4-nix to mainline
aniva deleted branch misc/build from aniva/Pantograph 2024-11-15 17:44:02 -08:00
aniva pushed to dev at aniva/Pantograph 2024-11-15 17:44:02 -08:00
f9d31597ec chore: Update lean4-nix
aniva created pull request aniva/config#23 2024-11-15 15:13:10 -08:00
feat: Nix flake build for Darwin
aniva pushed to system/darwin at aniva/config 2024-11-15 15:12:28 -08:00
ca50a35521 feat: Add Nix flake stub
aniva created branch system/darwin in aniva/config 2024-11-15 15:12:28 -08:00
aniva deleted branch system from aniva/config 2024-11-15 15:04:26 -08:00
aniva pushed to main at aniva/config 2024-11-15 15:04:26 -08:00
c0838623fb Merge pull request 'doc: Add system installation guide' (#17) from system into main
15f5b6fd36 Merge branch 'main' into system
b057743c86 doc: Add system installation guide
Compare 3 commits »
aniva merged pull request aniva/config#17 2024-11-15 15:04:26 -08:00
doc: Add system installation guide
aniva pushed to system at aniva/config 2024-11-15 15:04:17 -08:00
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
1c49965dcb feat: Use two line fish prompt
c130537892 Merge pull request 'feat: Kando' (#20) from ui/kando into main
Compare 33 commits »
aniva created pull request aniva/Pantograph#121 2024-11-15 14:57:36 -08:00
chore: Update lean4-nix to mainline
aniva pushed to misc/build at aniva/Pantograph 2024-11-15 14:57:08 -08:00
f9d31597ec chore: Update lean4-nix
aniva created branch misc/build in aniva/Pantograph 2024-11-15 14:57:08 -08:00
aniva deleted branch misc/build from aniva/Pantograph 2024-11-15 14:40:49 -08:00
aniva pushed to dev at aniva/Pantograph 2024-11-15 14:40:48 -08:00
6a7ff46fb0 Merge pull request 'chore: Update Lean4 upstream to unofficial flake' (#115) from misc/build into dev
0ee7d57570 feat: Expose iTree for LSP Configuration
600c27a616 Merge branch 'dev' into misc/build
e5d0459956 fix: Flake Build failure on x86_64-darwin
b99fecdb50 chore: Update `lean4-nix`
Compare 7 commits »
aniva merged pull request aniva/Pantograph#115 2024-11-15 14:40:48 -08:00
chore: Update Lean4 upstream to unofficial flake
aniva commented on pull request aniva/Pantograph#120 2024-11-14 23:11:33 -08:00
feat: State and environment pickling

If we pickle the state we could possibly leave the environment out to save space.

aniva pushed to misc/build at aniva/Pantograph 2024-11-14 22:51:52 -08:00
0ee7d57570 feat: Expose iTree for LSP Configuration
aniva pushed to misc/build at aniva/Pantograph 2024-11-14 22:45:23 -08:00
600c27a616 Merge branch 'dev' into misc/build
4f6ccd3e82 Merge pull request 'feat: Extract used constants from invocation' (#119) from frontend/data into dev
77b577d0e3 Merge branch 'dev' into frontend/data
d7c9590780 feat: Extract used constants from invocation
8fe4c78c2a doc: Change license to Apache2
Compare 5 commits »