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
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
aniva/Chrysoblog
Chrysoblog
TypeScript 1 0
Main website Mk. II
Updated 2025-01-28 18:56:53 -08:00
Cosplay
Python 1 0
Parametric Cosplay Design Schematics
Updated 2025-01-28 17:56:23 -08:00
aniva/Pantograph
Pantograph
Lean 1 0
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-01-28 17:43:55 -08:00
config
Emacs Lisp 1 0
Shared ~/.config files
Updated 2025-01-25 13:18:05 -08:00
OpenMusicScores
LilyPond 1 0
Collection of music scores in LilyPond
Updated 2024-12-08 16:59:55 -08:00
Patterns
XML 1 0
Sewing patterns
Updated 2024-11-22 07:46:11 -08:00
Pattern-Tutorial
TeX 0 0
Pattern drafting tutorial
Updated 2024-10-22 10:33:25 -07:00
ReproduciblePython
Nix 0 0
A reproducible python environment for machine learning
Updated 2024-08-27 22:32:11 -07:00
RustCallLean
Rust 0 0
Example of calling Lean from Rust via the FFI
Updated 2024-04-12 16:09:37 -07:00
rustnix
Nix 0 0
Example of Rust and Nix
Updated 2023-10-21 10:48:46 -07:00
aniva/To-The-Stars
To-The-Stars
TeX 1 0
Visualisation of To The Stars battle diagrams and scenes
Updated 2023-09-12 17:05:43 -07:00
udon
Rust 0 0
WIP: Wayland kanban screenlocker
Updated 2023-09-11 16:10:19 -07:00