Docs.rs

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Raw FFI bindings and dynamic loader for NVIDIA nvImageCodec (unified GPU image codecs).

Safe Rust wrappers for NVIDIA nvJitLink (CUDA 12.0+ JIT linker).

Rust bindings for NVIDIA CUPTI profiling - ComputeBrick analysis

GPU image processing primitives — convolution, Gaussian blur, Sobel, Canny edge detection

N-dimensional tensor contractions — Einstein summation via TTGT (cuTENSOR parity)

High-performance PEG parser library with packrat memoization and arena allocation

ORBIT durable workflow runtime: event-sourced engine, SQLite/PostgreSQL persistence, HTTP and gRPC worker protocols

Fast Fourier Transform — Stockham auto-sort algorithm with SIMD acceleration

Counter-based parallel RNG — Philox 4x32-10 with provable statistical properties

Derive macros for parsanol - typed AST generation from parser output

The open-source sales platform for energy retail. The platform's crates are published as esales-*; this name is reserved for the umbrella crate.

Safe Rust wrappers for NVIDIA NPP (Performance Primitives). Core + signal subset at v0.1.

Safe Rust wrappers for NVIDIA nvCOMP (GPU compression). Scaffolding at v0.1.

Dense linear algebra solvers — LU, QR, SVD, Cholesky with provable contracts