Parametric Cosplay Design Schematics
Updated 2025-04-22 11:17:01 -07:00
Collection of music scores in LilyPond
Updated 2025-04-21 23:30:17 -07:00
Sewing patterns
Updated 2025-04-21 00:13:24 -07:00
Shared ~/.config files
Updated 2025-04-21 00:06:16 -07:00
aniva/Pantograph
A Machine-to-Machine Interaction Interface for Lean 4
Updated 2025-04-20 09:34:35 -07:00
Topology-aware Bad Apple!! animations
Updated 2025-04-14 13:12:59 -07:00
aniva/Chrysoblog
Main website Mk. II
Updated 2025-03-06 14:40:53 -08:00
Pattern drafting tutorial
Updated 2024-10-22 10:33:25 -07:00
A reproducible python environment for machine learning
Updated 2024-08-27 22:32:11 -07:00
Example of calling Lean from Rust via the FFI
Updated 2024-04-12 16:09:37 -07:00
Example of Rust and Nix
Updated 2023-10-21 10:48:46 -07:00
aniva/To-The-Stars
Visualisation of To The Stars battle diagrams and scenes
Updated 2023-09-12 17:05:43 -07:00
WIP: Wayland kanban screenlocker
Updated 2023-09-11 16:10:19 -07:00