Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Group
• https://leni.sh

• Admin of this website

• Joined on 2023-08-21

Repositories

22

Projects Packages Public Activity Starred Repositories

2

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

Search

Pantograph

Lean 1 0

A Lean Machine-to-Machine Interface

Updated 2024-06-27 11:51:29 -07:00

OpenMusicScores

LilyPond 0 0

Collection of music scores in LilyPond

Updated 2024-06-10 11:53:01 -07:00

config

Emacs Lisp 0 0

Shared ~/.config files

Updated 2024-06-09 00:40:22 -07:00

RustCallLean

Rust 0 0

Example of calling Lean from Rust via the FFI

Updated 2024-04-12 16:09:37 -07:00

ReproduciblePython

Nix 0 0

A reproducible python environment for machine learning

Updated 2024-03-17 16:14:24 -07:00

rustnix

Nix 0 0

Example of Rust and Nix

Updated 2023-10-21 10:48:46 -07:00

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

common

Python 0 0

My user configuration files

Updated 2023-08-24 20:27:57 -07:00