Docs.rs

Bounded Rust CPU inference and tokenization for Prism-compatible GGUF models

Keeps Cargo build output fast and bounded: stops the debug object-file leak, cleans stale and orphaned build directories, and checks your setup

RedDB logical type system: the neutral keystone vocabulary — Value, DataType, SqlTypeName, TypeModifier, TypeCategory, ValueError, Row — depended on by every authority crate and depending on none.

RedDB cryptographic authority: the canonical per-page encryption-at-rest envelope (AES-256-GCM), mandatory encrypt parameters, and key parsing.

Digitalservo Motion Control Library

CAD modeling operations (booleans, fillets, extrusions) for brepkit

Laterite CMF: the one crate an application depends on, re-exporting the framework with its driver features

shigoto — typed state-machine convergence proofs (every reachable state reaches a good terminal) as a trait + reusable forcing-function harness.

2D parametric constraint solver (GCS) for brepkit sketch mode

Solid offset engine for brepkit

Shape healing (analysis, fixing, upgrading) for brepkit B-Rep models

GFA boolean algorithm engine for brepkit

Walking-based fillet and chamfer engine for brepkit

Laterite CMF public web layer: themes, static-site generation, page metadata, canonical URLs, and sitemaps

Topology algorithms: classification, validation, properties, distance