makeover-webview cargo 0.98.7 clean 0.102.0 did not build The webview renderer for makeover-layout. Emits CSS, and is the one renderer that needs no palette: var() is the late binding, so resolution stays with the… 2.7K 5d ago durability cargo 0.8.0 clean Durability primitives for local persistence 2.4K 1d ago polyc-passkey cargo 2026.10.2 clean Standalone WebAuthn/passkey verification: P-256 (ES256) assertion checking against a registered SEC1 public key, with no dependency on Polychrome's persona… 2.4K 3d ago sc-observability-dto cargo 1.5.0 clean Neutral checked wire contracts for sc-observability bindings 2.3K 3d ago cortexkit-role-tool-provider-conformance cargo 0.6.0 clean Conformance runner for the CortexKit tool-provider/v1 role: drives a live provider through its crash-cut harness and checks it against the role's vectors. 2.3K 18h ago rucc-safety cargo 0.30.0 clean The memory safety monitor: check insertion over the IR. 2.1K 17h ago typedown-lang cargo 0.41.0 clean Typedown language: Parser, typechecker, and evaluation engine 2.1K 15h ago assura-types cargo 0.6.0 clean Type checking for the Assura contract language 2.0K 4d ago j2k-metal-support cargo 0.12.0 clean Checked Metal resource and runtime helpers for J2K adapters 2.0K 4d ago assura-codegen cargo 0.6.0 clean Rust code generation from type-checked Assura contracts 1.9K 4d ago amont-runtime cargo 1.49.1 clean The amont hook logic: registry, dispatchers, checks and the trust model 1.8K 4h ago hekate-math cargo 0.12.1 clean Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,… 1.8K 21h ago crc32fast-lib cargo 1.1.2 clean Fast, SIMD-accelerated CRC-32/ISO-HDLC (aka 'crc32') checksum computation in Rust exposed as a C-compatible shared library 1.8K 2d ago ppoppo-schema-constrained cargo 0.55.0 clean Enum ↔ SQL CHECK anchor: compile-time exhaustiveness guard + DB-drift binding, shared by PAS (scaccounts) and PCS (scchat) 1.7K 8h ago ikigai-conformance cargo 0.6.1 clean What "done" means for an ikigai module, as one test: walks every endpoint a kernel binds and reports every violation of the module recipe at once — ArgSpec… 1.6K 11h ago htl-core cargo 0.14.0 clean Engine of htl (Holistic Typed Lua): Teal check / gen / lint / fmt / test / bundle on an embedded mlua state. Use the `htl` crate. 1.6K 1d ago whipplescript-parser cargo 0.11.0 clean Parser and static checks for WhippleScript workflow source 1.6K 1d ago baukit-openapi cargo 0.10.12 clean Small OpenAPI metadata, serialization, writing, and drift-check helpers. 1.6K 12h ago llmlint cargo 0.4.5 1 vulnerability 1 LLM-as-judge linter: enforce code-quality checks deterministic linters can't express, by driving real coding harnesses through oneharness. 1.5K 3d ago inillucent-base cargo 2.5.0 clean Checked binary primitives, identifiers, buffers, limits, and the stable error model. 1.5K 44m ago opy-cli cargo 0.3.1 clean 0.3.8 did not build Standalone OPY CLI: check, compile, inspect, and version. 1.4K 3d ago grund-core cargo 0.17.0 clean Core engine for grund: scanner, checker, show, fmt, config, and shared data APIs. 1.4K 17h ago action-gate-core cargo 0.3.0 clean The action-gate Gate: a pure, deterministic decision engine over a pluggable, ordered Check registry, with a stable config hash and optional common checks. 1.3K 3d ago areev-run cargo 1.12.2 clean The Areev agent runtime driver: executes OMS Workflow grains over the deterministic scheduler core, journaling every effect as content-addressed grains —… 1.3K 4d ago sqlm-postgres cargo 0.1.0 clean `sql!` macro to write compile-time checked database queries similar to how `format!` works 1.3K 2d ago ssg-a11y cargo 0.0.67 clean Standalone WCAG 2.2 AA accessibility checker — build-time HTML validation, framework-agnostic. 1.3K 21h ago grund cargo 0.16.1 2 vulnerabilities 0.17.0 did not build 2 The polyglot reference checker: validate and read ID-based citations across Markdown docs and source-code doc-comments. 1.2K 5d ago structured-public-domains cargo 0.0.39 clean Compact Public Suffix List (PSL) for Rust. no_std + alloc, ~108KB embedded binary trie, O(depth * log k) lookup. Checked daily against publicsuffix.org. 1.2K 3d ago arcbox-packet cargo 0.9.0 clean Zero-copy packet parsing, Ethernet/ARP framing, and Internet checksums for the ArcBox datapath 1.2K 3d ago htl-macros cargo 0.14.0 clean Proc macros for htl: include_tl! / include_tl_bytes! (Teal checked at cargo build), TealRecord, host_module. Use via the `htl` crate. 1.2K 19h ago 