Explore

aniva/ Holonomia

Python 1 0

A Blender plugin for parametric sewing pattern drafting

Updated 2025-09-02 13:35:13 -07:00

aniva/ OpenMusicScores

LilyPond 1 0

Collection of music scores in LilyPond

Updated 2025-08-31 21:31:58 -07:00

aniva/ Pantograph

Lean 1 0

A Machine-to-Machine Interaction Interface for Lean 4

Updated 2025-08-30 17:43:53 -07:00

aniva/ Cosplay

Python 1 0

Parametric Cosplay Design Schematics

Updated 2025-08-20 06:45:59 -07:00

aniva/ config

Emacs Lisp 1 0

Shared ~/.config files

Updated 2025-08-18 01:51:47 -07:00

aniva/ Chrysoblog

Svelte 1 0

Main website Mk. II

Updated 2025-08-17 23:34:09 -07:00

aniva/ BoundaryBadApple

Julia 0 0

Topology-aware Bad Apple!! animations

Updated 2025-06-03 15:24:52 -07:00

aniva/ Patterns

XML 1 0

Sewing patterns

Updated 2025-05-18 12:23:19 -07:00

aniva/ Pattern-Tutorial

TeX 0 0

Pattern drafting tutorial

Updated 2024-10-22 10:33:25 -07:00

aniva/ ReproduciblePython

Nix 0 0

A reproducible python environment for machine learning

Updated 2024-08-27 22:32:11 -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