Docs.rs

Production-grade, RFC 6455 compliant WebSocket library for Rust

Static-HTML visualization of a scry (scry-sai-core) AnalysisResult — functions, call graph, diagnostics, and per-program-point invariants (locals + operand stack).

Pure, bindgen-free analyzer core for scry (FEAT-014 / DD-012): the wasmparser + fixpoint + transfer logic and its plain-Rust result types, extracted from scry-analyzer so the analyzer's real decisions can be instrumented for witness MC/DC and the component becomes a thin canonical-ABI wrapper.

A TrueType parser that is meant to keep as much information as possible.

Persistent storage, schema, and PDG data services for LeIndex

Encode/decode + projection for meld's `component-provenance` custom section (DD-002, FEAT-002).

Pure octagon relational abstract domain (DBM; ±x±y ≤ c) for scry (FEAT-010, Miné HOSC 2006 / AC-011).

Pure security-label lattice (low ⊑ high) for scry's taint / noninterference domain (FEAT-009, AC-007).

Pure interval + region-memory abstract domain for scry (FEAT-001/FEAT-005; extracted for the self-contained analyzer, FEAT-013).

Vue 3 grammar for tree-sitter

MoonBit grammar for tree-sitter

A BDD testing framework for Rust, built on rstest.

Procedural macros for the rstest-bdd testing framework.

Pure Rust SDK for Privacy Cash - Privacy-preserving transactions on Solana using Zero-Knowledge Proofs.

Shared step-pattern compilation utilities for rstest-bdd.