Last released May 26, 2026
Deterministic static HTML/CSS-to-PDF renderer built in Rust
Last released Jun 29, 2025
A lightweight, powerful Python framework for building self-verifying, robust, and elegant software by making all implicit assumptions explicit and verifiable at runtime.
Supported by