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 commented on issue aniva/Chrysoblog#36 2024-11-18 13:26:10 -08:00
Icon in RSS feed

This might be unsolvable because the favicon is svg and some RSS readers only accept bitmaps

aniva pushed to pattern/shiki-eiki at aniva/Patterns 2024-11-18 00:45:36 -08:00
8b9c93f957 Move cosplay patterns into `cosplay/`
aniva created pull request aniva/Patterns#1 2024-11-18 00:37:53 -08:00
Shiki Eiki set
aniva pushed to pattern/shiki-eiki at aniva/Patterns 2024-11-18 00:37:34 -08:00
bc5a316058 Shiki Eiki hat
aniva created branch pattern/shiki-eiki in aniva/Patterns 2024-11-18 00:37:34 -08:00
aniva pushed to main at aniva/Patterns 2024-11-18 00:37:17 -08:00
9aeeea719c Sloper and measurement updates
aniva opened issue aniva/Chrysoblog#36 2024-11-17 19:39:23 -08:00
Icon in RSS feed
aniva pushed to doc/rationale at aniva/Pantograph 2024-11-17 17:38:45 -08:00
a51bf6f807 Merge branch 'dev' into doc/rationale
1da9180473 Merge pull request 'feat: State and environment pickling' (#120) from serial/pickle into dev
4bfd606e2a Merge branch 'dev' into serial/pickle
2790553180 feat: Environment save/load commands
495ea1ac14 feat: Environment pickling
Compare 9 commits »
aniva pushed to doc/rationale at aniva/Pantograph 2024-11-16 21:27:54 -08:00
5d676154f1 doc: Fix documentation link
aniva commented on issue aniva/Pantograph#95 2024-11-15 23:39:01 -08:00
Pickling

Pickling of environments was implemented in #120. Tests are pending.

aniva created pull request aniva/Pantograph#123 2024-11-15 23:37:08 -08:00
doc: Design Rationale Document
aniva pushed to doc/rationale at aniva/Pantograph 2024-11-15 23:36:35 -08:00
ce3af887be doc: Rationale document
aniva pushed to doc/rationale at aniva/Pantograph 2024-11-15 23:29:52 -08:00
af256123f3 doc: Update icon
aniva created branch doc/rationale in aniva/Pantograph 2024-11-15 23:29:52 -08:00
aniva opened issue aniva/Pantograph#122 2024-11-15 23:11:50 -08:00
Mathlib4 Parsing Error
aniva pushed to dev at aniva/Pantograph 2024-11-15 23:10:35 -08:00
1da9180473 Merge pull request 'feat: State and environment pickling' (#120) from serial/pickle into dev
4bfd606e2a Merge branch 'dev' into serial/pickle
2790553180 feat: Environment save/load commands
495ea1ac14 feat: Environment pickling
ee8063e1f5 refactor: Merge all Delation functions
Compare 8 commits »
aniva merged pull request aniva/Pantograph#120 2024-11-15 23:10:34 -08:00
feat: State and environment pickling
aniva pushed to serial/pickle at aniva/Pantograph 2024-11-15 23:10:13 -08:00
4bfd606e2a Merge branch 'dev' into serial/pickle
f9d31597ec chore: Update lean4-nix
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
Compare 12 commits »
aniva pushed tag v0.2.20 to aniva/Pantograph 2024-11-15 21:20:20 -08:00
aniva deleted branch misc/toolchain from aniva/Pantograph 2024-11-15 18:43:45 -08:00