Docs.rs
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Releases
Recently uploaded crates
Recent
Stars
Recent Failures
Failures By Stars
Activity
Queue
torqtui-0.1.0
TorQ: fast torrent finder and downloader (daemon, TUI, CLI)
21 minutes ago
r2smt-cli-0.1.1
Command-line entrypoint for r2SMT.
21 minutes ago
r2smt-smt-0.1.1
Z3 backend for r2SMT — encodes SSA lifted slices and reports opaque-predicate verdicts.
21 minutes ago
r2smt-taint-0.1.1
Sound may-taint lattice over the r2SMT IR: propagates {Untainted, Tainted(source)} through SSA data flow. Generalises the difflift Unknown-taint pass to a multi-source join-semilattice.
21 minutes ago
r2smt-patch-0.1.1
Safe binary patching for r2SMT: plans, manifests, backups, and rollback.
21 minutes ago
r2smt-explore-0.1.1
Fenced exploration engine (radius2 driver): synthesises concrete inputs that reach a target. Explicitly UNSOUND — never produces an SmtResult and is dependency-fenced out of the verify/patch closure.
21 minutes ago
r2smt-difflift-0.1.1
Differential multi-lifter harness: cross-checks the P-code, ESIL and per-mnemonic lowerings of the same instruction for semantic equivalence.
21 minutes ago
r2smt-report-0.1.1
Renderers (JSON, Markdown, r2 script) for r2SMT Findings.
21 minutes ago
r2smt-core-0.1.1
Orchestration use cases for r2SMT — coordinates providers, slicers, lifters, and the SMT backend.
22 minutes ago
oxide-sloc-1.6.14
Source line analysis tool with CLI, web UI, HTML/PDF reports, and CI/CD integration
22 minutes ago
aspose-words-cloud-26.8.0
Rust SDK for the Aspose.Words Cloud API
22 minutes ago
r2smt-z3fp-0.1.1
Thin, audited FFI shim for the Z3 floating-point reinterpret constructors missing from the safe `z3` 0.20 API (BV→FP and signed-int→FP).
22 minutes ago
cargo-shear-1.13.4
Detect and fix unused/misplaced dependencies from Cargo.toml
22 minutes ago
r2smt-r2pipe-0.1.1
radare2 adapter implementing the r2smt BinaryProvider port via r2pipe.
22 minutes ago
sloc-web-1.6.14
Axum web UI and REST API for interactive local SLOC analysis
22 minutes ago
sloc-report-1.6.14
HTML report rendering and headless-browser PDF export for oxide-sloc
22 minutes ago
sloc-mcp-1.6.14
MCP stdio server exposing oxide-sloc analysis tools to AI agents
23 minutes ago
async-log-watch-0.2.0
A simple Rust library to monitor log files and trigger an async callback when a new line is added.
23 minutes ago
sloc-core-1.6.14
Core analysis engine for oxide-sloc — file discovery, SLOC counting, and coverage parsing
24 minutes ago
sloc-languages-1.6.14
Language detection and lexical SLOC analysis for 60 languages — IEEE 1045-1992 compliant
24 minutes ago
sloc-config-1.6.14
Configuration schema, TOML parsing, and CLI flag types for oxide-sloc
24 minutes ago
r2smt-ssa-0.1.1
Rename a r2SMT LiftedSlice into Static Single Assignment form ready for the SMT backend.
24 minutes ago
r2smt-solver-port-0.1.1
Solver port: the narrow contract every r2SMT SMT backend / differential oracle implements.
24 minutes ago
sloc-git-1.6.14
Git CLI wrappers, HMAC webhook verification, and scan-schedule store for oxide-sloc
24 minutes ago
ehttpd-0.14.0
A HTTP server nano-framework, which can be used to create custom small-scale HTTP server applications
24 minutes ago
asimov-huggingface-25.3.4
ASIMOV Software Development Kit (SDK) for Rust
24 minutes ago
asimov-huggingface-25.3.3
ASIMOV Software Development Kit (SDK) for Rust
24 minutes ago
asimov-huggingface-25.3.2
ASIMOV Software Development Kit (SDK) for Rust
24 minutes ago
r2smt-slicer-0.1.1
Branch collector and (forthcoming) backward slicer for r2SMT.
24 minutes ago
r2smt-pcode-0.1.1
Ghidra/SLEIGH P-code lifter for r2SMT — emits IrStmt from radare2 `pdgsd` P-code text.
24 minutes ago
Previous Page
Next Page