Derive macro for exposing Cargo Package Information to Rust code
Crate for exposing Cargo Package Information to Rust code
Command-line crate registry index querying for Cargo
A highly parallel Perl 5 interpreter written in Rust
CKB RPC server
colorful version handler for clap
Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.
Upgradable Polymesh Ink! API
Proc macros for truce plugins, providing plugin_info!() to generate metadata from truce.toml at compile time
Speeding up Ground Penetrating Radar (GPR) processing
Cargo subcommand that discharges verified-anchor proof obligations via Lean.
Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.