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
cvlr-0.6.1
Certora Verification Language for Rust
11 minutes ago
cvlr-fixed-0.6.1
Fixed point numbers over Certora native integers
11 minutes ago
aidens-security-kit-0.1.0
Path safety helpers and canonical tool side-effect classification
11 minutes ago
cvlr-hook-0.6.1
Macro to inject code at a function call
11 minutes ago
cvlr-early-panic-0.6.1
Macro to convert ? to unwrap
11 minutes ago
cvlr-derive-0.6.1
Derive macros for CVLR
11 minutes ago
oxcache_macros-0.5.0-rc.5
Procedural macros for oxcache
11 minutes ago
cvlr-log-0.6.1
Logging in Certora Calltrace
11 minutes ago
cvlr-decimal-0.6.1
Decimal numbers over Certora native integers
11 minutes ago
avdl-0.1.10+1.12.1
Avro IDL compiler that turns .avdl into .avpr and .avsc JSON files
11 minutes ago
sassy-0.2.6
Approximate string matching using SIMD
11 minutes ago
aidens-queue-kit-0.1.0
Append-only durable queue substrate for daemon execution
11 minutes ago
tinychannels-0.1.0
Pluggable channel and messaging primitives for OpenHuman harness communication.
11 minutes ago
boltz-gpui-macros-0.1.1
Macros used by gpui
11 minutes ago
sighook-0.10.0
An Apple/Linux/Android runtime instrumentation and inline hooking crate for aarch64 and x86_64.
11 minutes ago
deepslate-0.3.1
A high-performance Minecraft server proxy written in Rust.
11 minutes ago
activity-manager-0.1.2
A UI-agnostic, Android-style activity and routing stack manager for Rust. / 一个无 UI 框架依赖的通用 Android 风格页面与路由堆栈管理框架。
11 minutes ago
infotheory-1.1.1
The algorithmic information theory library.
11 minutes ago
hindclaw-client-0.2.1
Rust client library for Hindclaw access control API
11 minutes ago
aidens-budget-kit-0.1.0
Budget, retry, fanout, and stop-rule guards for agent execution
11 minutes ago
prani-1.1.0
prani — Creature and animal vocal synthesis: species-specific voice models, call patterns, non-human vocal tracts
11 minutes ago
audioface-0.0.0
Audioface
11 minutes ago
ratelim-0.3.2
Simplistic rate limiter
11 minutes ago
cvlr-mathint-0.6.1
Number library backed by Certora native integers
11 minutes ago
cvlr-nondet-0.6.1
Non-deterministic (i.e., symbolic) values
12 minutes ago
cvlr-asserts-0.6.1
Asserts and assumes for post- and pre-conditions
12 minutes ago
contextgrep-0.1.2
Grep your documents with context — fast offline search for PDFs, DOCX, Markdown and code
12 minutes ago
functora-0.1.10
Missing pieces of the Rust standard library.
12 minutes ago
appshots-mcp-0.3.0
MCP server for generating ASO-optimized App Store screenshots
12 minutes ago
ord-reqwest-0.4.1
A lightweight HTTP client for ordinals server and runes utility
12 minutes ago
Previous Page
Next Page