Decoder and Encoder for CCITT Group 3 and 4 bi-level image encodings used by fax machines TIFF and PDF.
A hibernation chamber for AI agents — schedule, wake, and manage long-running agent tasks
A specialized hypervisor for Hermit
A helper crate to simplify experimenting with Enzyme.
Nova Virtual Machine
Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines
The Formal Language Where Code Verifies Itself
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
Embedded scripting for Rust
Embedded scripting for Rust
Embedded scripting for Rust
Running WASM modules inside a lightweight virtual machine