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
  • shakrs-toolchain-adapter-0.4.0
    Rust toolchain adapter: lowers per-policy assertions into engine requirements for rust-toolchain.toml.
    17 minutes ago
  • shakrs-rustfmt-adapter-0.4.0
    Rustfmt linter adapter: lowers per-policy assertions into engine requirements for rustfmt.toml.
    17 minutes ago
  • smbcloud-auth-sdk-wasm-0.4.9
    Browser bindings for the smbCloud Auth SDK.
    17 minutes ago
  • smbcloud-email-sdk-0.4.9
    Rust client for the smbCloud transactional email API — send email from a verified domain and read delivery status.
    17 minutes ago
  • smbcloud-gresiq-0.4.9
    GresIQ is a serverless PostgreSQL client on the smbCloud platform.
    17 minutes ago
  • smbcloud-auth-sdk-py-0.4.9
    Python bindings for the smbCloud Auth SDK.
    18 minutes ago
  • smbcloud-auth-sdk-0.4.9
    Client SDK for smbCloud Auth — authenticate your users via smbCloud Auth service.
    18 minutes ago
  • smbcloud-networking-project-0.4.9
    Command line tool for deploying NextJS app on the smbCloud platform.
    18 minutes ago
  • smbcloud-mail-0.4.9
    smbCloud mail API client for the CLI.
    18 minutes ago
  • smbcloud-deploy-0.4.9
    smbCloud build and deploy engine: UI-agnostic, reusable by the CLI, CI, and the server-side git receiver.
    18 minutes ago
  • nidus-sqs-1.0.10
    First-party AWS SQS adapter for Nidus built on the official AWS SDK for Rust.
    18 minutes ago
  • smbcloud-auth-0.4.9
    Cross-platform Auth SDK for the smbCloud platform.
    18 minutes ago
  • smbcloud-utils-0.4.9
    Command line tool for deploying NextJS app on the smbCloud platform.
    18 minutes ago
  • logicaffeine-tv-0.10.1
    SMT translation validation: prove emitted Rust is observationally equivalent to LOGOS source
    19 minutes ago
  • liso-1.3.3
    Line Input with Simultaneous Output: input lines are editable, output lines are never scrambled, and all of it thread safe.
    19 minutes ago
  • logicaffeine-cli-0.10.1
    largo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects
    19 minutes ago
  • vix-locale-model-1.2.0
    Available UI languages for Vix; the View → Locale submenu.
    19 minutes ago
  • smbcloud-networking-0.4.9
    Command line tool for deploying NextJS app on the smbCloud platform.
    19 minutes ago
  • logicaffeine-lsp-0.10.1
    Language Server Protocol implementation for LOGOS (the logicaffeine language)
    19 minutes ago
  • logicaffeine-jit-0.10.1
    The LOGOS native tier — wires the copy-and-patch forge JIT into the bytecode VM (native only).
    19 minutes ago
  • logicaffeine-compile-0.10.1
    LOGOS compilation pipeline - codegen and interpreter
    20 minutes ago
  • logicaffeine-system-0.10.1
    Platform IO, networking, persistence, and post-quantum crypto kernels (Keccak/SHA-3, ChaCha20-Poly1305, ML-KEM, ML-DSA) for LOGOS
    20 minutes ago
  • logicaffeine-forge-0.10.1
    Copy-and-patch JIT for LOGOS — executable-memory layer and stencil runtime (native only).
    20 minutes ago
  • logicaffeine-language-0.10.1
    Natural language to first-order logic pipeline
    20 minutes ago
  • logicaffeine-verify-0.10.1
    Z3-based static verification for Logicaffeine (requires Pro+ license)
    20 minutes ago
  • logicaffeine-proof-0.10.1
    Backward-chaining proof engine (certified SAT/CDCL, tactics, Socratic hints) plus the number-theory / cryptanalysis substrate (factoring, isogeny, lattice, order-finding)
    20 minutes ago
  • logicaffeine-runtime-0.10.1
    Deterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe, tokio-free — never linked into AOT-compiled binaries.
    20 minutes ago
  • logicaffeine-lexicon-0.10.1
    English vocabulary types and compile-time lexicon lookup for logicaffeine
    20 minutes ago
  • stellar-agent-approval-ui-0.1.0-alpha.4
    Localhost approval-inbox web UI for the Stellar agent wallet: a loopback HTTP server that surfaces the pending-approval queue for browser approve/reject.
    21 minutes ago
  • logicaffeine-data-0.10.1
    WASM-safe data structures and CRDTs - NO IO
    21 minutes ago
Previous Page Next Page