git.leni.sh

aniva / Pantograph

Lean 1 0

A Lean Machine-to-Machine Interface

Updated 2024-10-14 21:17:16 -07:00

aniva / config

Emacs Lisp 0 0

Shared ~/.config files

Updated 2024-10-03 17:56:16 -07:00

aniva / OpenMusicScores

LilyPond 0 0

Collection of music scores in LilyPond

Updated 2024-09-29 22:31:21 -07:00

aniva / ReproduciblePython

Nix 0 0

A reproducible python environment for machine learning

Updated 2024-08-27 22:32:11 -07:00

aniva / BlendScript

0 0

Examples of Python scripting in Blender

Updated 2024-08-12 11:55:38 -07:00

aniva / RustCallLean

Rust 0 0

Example of calling Lean from Rust via the FFI

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

aniva / rustnix

Nix 0 0

Example of Rust and Nix

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

aniva / To-The-Stars

TeX 1 0

Visualisation of To The Stars battle diagrams and scenes

Updated 2023-09-12 17:05:43 -07:00

aniva / udon

Rust 0 0

WIP: Wayland kanban screenlocker

Updated 2023-09-11 16:10:19 -07:00

aniva / common

Python 0 0

My user configuration files

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