Releases

A Rust implementation of kcptun, a fast and reliable tunnel based on KCP protocol

High-performance compression library with adaptive context modeling (Loom) and .nyx archives

Huawei Cloud API definitions, generated from OpenAPI spec

Huawei Cloud API definitions, generated from OpenAPI spec

Huawei Cloud API definitions, generated from OpenAPI spec

Production-grade, RFC 6455 compliant WebSocket library for Rust

Structured 5-phase triage analysis subsystem for LeIndex

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

Semantic and hybrid search/ranking engine 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

Program Dependence Graph extraction, relinking, and traversal for LeIndex

Multi-language parsing and signature extraction for LeIndex

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.

Shared runtime policy types for rstest-bdd.

MSSQL driver for SQLx via ODBC.

AMQP protocol support for MockForge

Batched MCTS in Rust with Python bindings

Declarative macro generating boilerplate for enum dispatch

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust. Fork with ark-ff 0.4 compatibility for Solana SDK.