linen

Here are 6 public repositories matching this topic...

Dnyarri / POVThread

Converting bitmaps to 3D canvas and embroidery simulation in POV-Ray format.

python canvas python3 povray textile isosurface embroidery cross-stitch cross-stitching tabby linen gros-de-naples taffeta

Updated Oct 24, 2026
Python

typednotes / ledger

Star

Usage & credit ledger service in Lean 4: exact integer money, a proven balance fold, a typed hold lifecycle, and Postgres-enforced reserves and idempotent grants.

dependent-types postgresql concurrency theorem-proving ledger lean billing formal-verification credits metering idempotency append-only correct-by-construction lean4 linen usage-based-billing double-spend-prevention usage-ledger typednotes

Updated Oct 2, 2026
Lean

typednotes / liaison

Star

Delegation broker in Lean 4: HMAC-chained warrants with attenuating caveats, ledger-backed credit holds, one confined egress call per request, and a complete audit log.