Source: doc.rust-lang.org (std library reference) · crates.io database dump, 2026-07-25 (crates directory)Contact
BROWSE A-Z

All 305,250 crates, alphabetically

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.

leaf-streamLeaf protocol639Unlicense leaf-stream-typesLeaf protocol981Unlicense leaf-utilsLeaf protocol818Unlicense leafage-cliLeafage CLI — manage your clean AI proxy from the terminal20MIT OR Apache-2.0Command line utilities leafbuildA WIP C/C++ buildsystem.1,780BSD-3-Clause leafersA Processing.js-like environment1,514Apache-2.0 leafletA wasm-bindgen wrapper for Leaflet.js37,598MIT/Apache-2.0 leaflet-velocity-sysA wasm-bindgen wrapper for leaflet-velocity.js1,983MIT OR Apache-2.0 leafrenderLeafRender is a simply, easy to use library to just get pixels onto the screen, regardless of your platform.1,918Apache-2.0 leafslugLeafslug is a cutie that slowly makes my world a better place.10,886MPL-2.0Command line utilities leafslug_effectsUseful set of effectful commands, for my leafslug collection.3,642MPL-2.0Command line utilities leafslug_jnlA personal journaling system that is not inteded to be used by others... yet.2,656MPL-2.0Command line utilities leafslug_rvrScript to run as my init file for RiverWM.2,677MPL-2.0Command line utilities leafslug_timeUseful set of time-oriented functions, for my leafslug collection.3,008MPL-2.0Command line utilities leafslug_tskA personal Task Management System that is not inteded to be used by others... yet.1,483MPL-2.0Command line utilities leafwing-input-managerA powerful, flexible and ergonomic way to manage action-input keybindings for the Bevy game engine.481,112MIT OR Apache-2.0Game developmentGames leafwing_abilitiesA convenient, well-tested ability management suite. Built for the Bevy game engine.39,298MIT OR Apache-2.0Game developmentGames leafwing_abilities_macrosMacros for the `leafwing_abilities` crate30,608MIT OR Apache-2.0 leafwing_input_manager_macrosMacros for the `leafwing-input-manager` crate428,062MIT OR Apache-2.0 leafwing_input_playbackInput recording and mocking functionality for the Bevy game engine.4,889MIT OR Apache-2.0Game developmentGames leafwing_manifestA flexible crate for managing game assets that share a common structure. Manifests are generated from on-disk data, and offer a…8,460MIT OR Apache-2.0Game developmentGames league-clientConnect to your league of legends client5,544MIT league-client-connectorRust implementation of lcu-connector. Retrieves lockfile information to access League of Legends API Client13,490MIT league-linkAsync Rust client for the League of Legends Client (LCU) API — auth discovery, HTTPS requests, and WebSocket event streaming.40MITAPI bindingsAsynchronous league-of-cratesBeginner project for learning rust. Parses league of legends .json data from DataDragon into Rust9,763MIT league-toolkitToolkit library for serializing and editing various League of Legends formats4,669MIT OR Apache-2.0 league_apiParked for future use1,691MIT leakSafely leak data from owned data structures1,395,570Apache-2.0 OR MIT leak-detect-allocatorMemory leak detector for nightly toolchain4,652MIT leak_memoryThe enterprise way to leak memory2,693non-standard leak_sliceleak &mut [T] in favor of NonNull<[T]>11,993MITMemory management leakdFast file server with uploads, tunnels, and TLS45MITCommand line utilitiesWeb programming::HTTP server leakferret-cliCLI for leakferret — context-aware secret detection with provider verification and ENV.fetch rewrites.56MIT leakferret-coreEngine for leakferret: scanning, fixture catalog, verifiers, rewriter, baseline.100MITDevelopment tools leakferret-mcpMCP (Model Context Protocol) server for leakferret — exposes scan, classify, propose_rewrite, verify, baseline_diff over JSON-RPC…78MIT leakguardFast, zero-dependency redaction of secrets and PII (emails, credit cards, IPs, JWTs, API keys, and more) from text and logs.328MIT OR Apache-2.0Command line utilitiesText processing leaklistA simple, concurrent, lock-free, singly-linked list7,553MIT OR Apache-2.0ConcurrencyData structures leaksnowAsync Rust client for the leaks.now /api/v1 OSINT API64MITAPI bindings leaktorA secrets scanner with pattern matching, entropy analysis, and live validation169MITCommand line utilitiesDevelopment tools leaktracerA Rust allocator to trace memory allocations in Rust programs, by intercepting the allocations.2,170MITDevelopment toolsDevelopment tools::Debugging leaky-bucketA token-based rate limiter based on the leaky bucket algorithm.2,299,545MIT OR Apache-2.0AlgorithmsConcurrency leaky-bucket-liteSlimmed down, lazy futures-aware rate limiter implementation.150,339MIT/Apache-2.0AlgorithmsConcurrency leaky-cowLeak the contents of a Clone-On-Write pointer1,363,056MIT / Apache-2.0 lealang_chalk_rsA crate which adds colors and styles to your terminal program8,415non-standardCommand-line interface leantemplating library for Rust1,287MIT lean-agentCLI for reproducible Lean 4 proof-state tracing and theorem-agent evaluation.19MIT OR Apache-2.0Command line utilitiesDevelopment tools lean-agent-coreCore library for tracing Lean 4 diagnostics and evaluating Lean theorem-proving agents.31MIT OR Apache-2.0Command line utilitiesDevelopment tools lean-agenticCore library for Lean-Agentic: hash-consed dependent types with 150x faster equality62,858Apache-2.0Development toolsMathematics lean-coretemplating library for Rust1,111MIT lean-ctxContext Runtime for AI Agents with CCP. 71 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP),…15,869Apache-2.0Command line utilitiesDevelopment tools lean-ctx-clientThin, stable HTTP client for the lean-ctx Context OS /v1 contract. Integrate over the process boundary without linking the engine.28Apache-2.0API bindingsWeb programming::HTTP client lean-decimalFast, fixed-precision, floating-point decimal types.53MITData structuresFinance lean-domtemplating library for Rust1,119MIT lean-dupRead-only duplicate auditor for Lean 4 Lake workspaces50MIT OR Apache-2.0Command line utilitiesDevelopment tools lean-dup-capability-sourcePackaged LeanDup capability Lean source and the per-toolchain build that produces its shared-facet dylib for lean-dup.65MIT OR Apache-2.0Development tools lean-dup-diagnosticsProgress, profiling, and structured errors for the lean-dup CLI.136MIT OR Apache-2.0Development tools lean-dup-evalRecall/precision evaluation suites for the lean-dup duplicate auditor.82MIT OR Apache-2.0Development tools lean-dup-indexSQLite-backed declaration index and cache for the lean-dup duplicate auditor.111MIT OR Apache-2.0Development tools lean-dup-projectLake workspace discovery and mathlib contract resolution for lean-dup.124MIT OR Apache-2.0Development tools lean-dup-reportStable text/JSON report contract for lean-dup duplicate-audit findings.64MIT OR Apache-2.0Development tools lean-dup-searchDuplicate-audit retrieval, semantic verification, and ranking for lean-dup.98MIT OR Apache-2.0Development tools lean-dup-workerLean worker process boundary for lean-dup: per-toolchain capability resolution over the versioned worker protocol.124MIT OR Apache-2.0Development tools lean-dup-worker-childLean-linking worker-child host for lean-dup; loads the LeanDup capability through the lean-rs worker pool.53MIT OR Apache-2.0Development tools lean-embedLean, provider-agnostic text-embeddings client for OpenAI, Gemini, Voyage, and Ollama, on rustls + ring (no OpenSSL, no aws-lc).14MIT OR Apache-2.0API bindingsText processing lean-host-mcpMCP server hosting Lean 4 via a supervised lean-rs-worker child135MIT OR Apache-2.0Development tools lean-host-mcp-workerWorker-child binary for lean-host-mcp (links libleanshared; spawned by the parent)134MIT OR Apache-2.0Development tools lean-imtA lightweight incremental Merkle tree library.34,817MITCryptographyData structures lean-logA tiny, zero-overhead logging framework108MITDevelopment tools::Debugging lean-macrostemplating library for Rust1,112MIT lean-rsSafe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported…925MIT OR Apache-2.0API bindingsExternal FFI bindings lean-rs-abiLink-free Lean 4 ABI and toolchain metadata shared by lean-rs crates.715MIT OR Apache-2.0API bindingsDevelopment tools::Build Utils lean-rs-hostOpinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles,…803MIT OR Apache-2.0API bindings lean-rs-interop-shimsPackage-owned Lean source payload for the generic lean-rs interop shims.170MIT OR Apache-2.0API bindingsDevelopment tools::Build Utils lean-rs-sysRaw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.1,167MIT OR Apache-2.0API bindingsExternal FFI bindings lean-rs-workerWorker-process boundary for lean-rs host workloads.123MIT OR Apache-2.0API bindings lean-rs-worker-childChild-process runtime for the lean-rs worker boundary.482MIT OR Apache-2.0API bindings lean-rs-worker-parentParent-side supervisor for the lean-rs worker process boundary.581MIT OR Apache-2.0API bindings lean-rs-worker-protocolWire protocol and shared value types for the lean-rs worker process boundary.878MIT OR Apache-2.0API bindingsEncoding lean-semantic-search-capabilityWorker-facing command identity for Lean semantic search.262MIT OR Apache-2.0 lean-semantic-search-contractStable JSON DTOs and version markers for Lean semantic search.398MIT OR Apache-2.0 lean-semantic-search-retrievalStorage-neutral semantic candidate generation over Lean feature rows.314MIT OR Apache-2.0 lean-semantic-search-runtimePackage-owned Lean runtime payload and per-toolchain build cache for semantic search.201MIT OR Apache-2.0 lean-semantic-search-storePersistent SQLite-backed semantic index implementing the retrieval Corpus seam.217MIT OR Apache-2.0 lean-sysBindings to Lean 4's C API108,434MIT OR Apache-2.0External FFI bindings lean-toolchainLean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own…1,397MIT OR Apache-2.0API bindingsDevelopment tools::Build Utils lean-tuiStandalone TUI infoview for Lean 4 theorem prover837MIT lean2mdTool to convert Lean files to Markdown with special features for documentation1,590MITCommand line utilitiesDevelopment tools lean4_sysLean4 FFI1,160MIT lean_stringCompact, clone-on-write string.645,780MITData structuresNo standard library leanbridgetreeSpace-efficient Merkle tree designed for linear appends with witnessing of marked leaves.5,452MIT OR Apache-2.0AlgorithmsData structures leancastA standalone Lean 4 proof walkthrough TUI and CLI15MITCommand line utilitiesDevelopment tools leancrypto-sysRust language binding for leancrypto, a cryptographic library with stack-only support and PQC-safe algorithms1,496BSD-3-ClauseCryptographyExternal FFI bindings leandbolc(Optimistic Lock Coupling) rust implementation1,613MIT OR Apache-2.0 leandownConvert annotated Lean 4 files to a static website24Apache-2.0Command line utilitiesDevelopment tools leanify-manyspawn leanify subprocesses7,001GPL-3.0-or-later leankgLightweight Knowledge Graph for AI-Assisted Development1,467Apache-2.0Command line utilitiesData structures leann-coreLEANN is a revolutionary vector database that democratizes personal AI. Transform your laptop into a powerful RAG system that can…1,368MITAlgorithmsScience leanpubUnofficial Leanpub API client.7,961MIT leanpub-cliCLI for leanpub.com3,324MIT leanr-rag-gatewayMulti-lane RAG gateway with cost routing and verified safety proofs using lean-agentic388Apache-2.0Development toolsMathematics leanr-wasmWebAssembly bindings for lean-agentic: hash-consed dependent types in the browser232Apache-2.0Development toolsMathematics leanshotScreenshot capture for Linux.12,798MIT leanshot_xlibxlib bindings4,467non-standard leansqlleanstore sql rust implementation1,634MIT OR Apache-2.0 leanstoreLeanstore rust implementation1,630MIT OR Apache-2.0 leanstore-kvLeanstore rust implementation1,626MIT OR Apache-2.0 leanstore-macrosLeanstore rust implementation1,628MIT OR Apache-2.0 leanstore-rsLeanstore rust implementation1,628MIT OR Apache-2.0 leanstore-sqlLeanstore rust implementation1,650MIT OR Apache-2.0 leanwardBetter syntax sugar129MIT OR Apache-2.0 leapA rust framework for creating web applications.1,786Apache-2.0Web programming leap-langLeap language parser8,583MITParsing tools leap-secLeap-second handling and continuous time mappings for flight and space systems43Apache-2.0Date and timeNo standard library leap-secondsA leap seconds library - realized as a leap-seconds.list parser2,704MIT OR Apache-2.0Date and timeParsing tools leap-sysRust bindings for the Leap Motion C library8,396non-standardComputer visionExternal FFI bindings leap-yearCheck if a year is a leap year5,861MIT leap_client_rsRust client library for the Leap Edge socket service7,694MPL-2.0AsynchronousNetwork programming leapcppHigh-level Rust bindings to the C++ Leap Motion SDK 2.3.11,5540BSD leapcpp-sysFFI bindings to the Leap Motion SDK 2.3.12,2710BSD leaperA simple CLI tool to quickly leap to a directory10,211MITCommand line utilities leapfrogA fast, lock-free concurrent hash map28,458MIT OR Apache-2.0ConcurrencyData structures leaprsSafe wrapper for the LeapC Ultraleap (Leap Motion) hand tracking device API.22,050MIT OR Apache-2.0API bindingsComputer vision leapseconds-rsRust port of upstream leapseconds.awk — the tzdb leap-second source generator18Apache-2.0Command line utilitiesParser implementations learPrints a random passage from King Lear. For when you meant to type "clear"3,197MIT OR Apache-2.0Command line utilities learnA minimal reinforcement learning library written in Rust from scratch.35Apache-2.0AlgorithmsScience learn-algalg by rust2,809MIT OR Apache-2.0 learn-cargo-workspacemy-testing-project856MIT learn-crate-libA simple library for learning Rust116MIT learn-openglLearnOpenGL.com lessons in Rust2,063Zlib learn-rust-123learning about rust1,774MIT learn-rust-cargo-say-helloLearning Cargo30MIT OR Apache-2.0 learn-rust-publishlearn how to publish rust library2,967MIT OR Apache-2.0 learn-rust-say-helloThis is say hello library2,774Apache-2.0 learn-rust-with-bubble-sortA quick and non-optimized, cloning version of the bubble sort algorithm. Created as a showcase for publishing crates in the Rust…2,806MIT learn-say-hello-pemudakodingThis is say hello library2,075MIT learn-wgpuI am trying to learn wgpu1,615MIT learn_25_cargoA fun game where you guess what number the computer has chosen.1,516MIT learn_cargo这是我测试的包1,216MIT learn_cargo1A short description of my package2,279MIT OR Apache-2.0 learn_cargo_pubfirst_project_pub1,556MIT learn_crate_ioFor to test to publish a :crate.1,742MIT OR Apache-2.0 learn_cratestest crates publish1,643MIT learn_itora example of my studying rust iterator.1,725MIT learn_publishA useful tool to build web software (learn how to use crates.io)1,597MIT learn_rusta sample crate6,278MIT learn_rust999999911111999Online Store922MIT learn_rust_artLibrary created by following a RUST course362MIT OR Apache-2.0 learn_rust_bugsSelf-learning Rust1,538MIT OR Apache-2.0 learn_rust_demolearn rust publish demo1,562MIT learn_rust_idiotfngvbashfubah1,518MIT learn_rust_perceptronfirst rust learning crate1,533MIT learn_rust_project_guofei9987一段简单的描述信息,要好好写.1,227MIT OR Apache-2.0 learn_sunny_demo_aaaA fun game where you guess what number the computer has chosen.1,196MIT OR Apache-2.0 learn_togetherCurated collection of lists of useful resources to learn Rust together.3,478MIT learned-partition-sortA high-performance distribution-based sorting algorithm that learns data patterns to achieve O(N) complexity25MITAlgorithmsData structures learnerA simple library for learning stuff17,206Apache-2.0 learnerdThe way to interact and learn stuff12,754Apache-2.0 learnforge-coreAdaptive learning algorithms (BKT, SM-2, threshold, microlearning selection, signing, packs) — desktop/web/WASM portable.18MITAlgorithmsScience learningA tool to read a file1,200MIT OR Apache-2.0Command line utilities learning-the-bookA fun game where you guess what number the computer has chosen.2,888MIT learning-traitlearning trait by implementing Iterator on a dummy struct1,846MIT learning-tuiA CLI and TUI for self-paced learning with AI tutors. Features auto-graded quizzes, exercise tracking, and spaced repetition.57MITCommand line utilitiesDevelopment tools learning_artA library for modeling artistic concepts.1,573MIT learning_edpyt_cargoJust learning what can do cargo and why i'm want to learn this new thing. :)1,827MIT OR Apache-2.0 learning_fromdocs_minigrepProject made on the path toward learning Rust from its docs. Completely personal and to test how to upload to crates.io.1,704MIT learning_publishtrying to do publishing to creates.io277MIT OR Apache-2.0 learning_rustA study crates1,671MIT learning_rust_artJust some code snippets took from the Rust book.31MIT OR Apache-2.0 learning_rust_crates_artA simple crate for learning cargo crates publishing process789MIT OR Apache-2.0 learning_rust_paBasic math operations1,168MIT learnpraLearn by Practice1,691CC-BY-NC-ND-4.0 learnrustthe only purpose for this package for try cargo publish1,904MIT OR Apache-2.0 learntkA simple machine learning toolkit, written in Rust.5,217MIT learnwellFramework for reinforcement learning3,992MIT OR Apache-2.0AlgorithmsScience learnwy_bin_utilsself use5,807GPL-3.0 leaseObject pool that leases values and automatically returns them with async support108,661MIT OR Apache-2.0AsynchronousCaching lease-queueEmbedded persistent priority queue with native lease/visibility-timeout semantics. Single-binary, no server, crash-safe by…14MIT OR Apache-2.0ConcurrencyData structures lease-rsZero-cost ownership leasing for rust. Temporarily transfer full ownership across .await, threads, scopes, and closures with…118MIT OR Apache-2.0ConcurrencyData structures leasehundA lightweight, embedded-friendly DHCP server implementation for Rust no_std environments1,493MIT leashShareable Clippy lint presets for teams and orgs49EUPL-1.2Development tools leash-harnessComposable local-LLM and robotics harness with MCP, CLI, and safe robot adapters37MITCommand line utilitiesDevelopment tools leash-integration-bigqueryTyped BigQuery integration for Leash18Apache-2.0 leash-integration-brave-searchTyped Brave Search integration for Leash19Apache-2.0 leash-integration-filesystemTyped Filesystem integration for Leash18Apache-2.0 leash-integration-githubTyped GitHub integration for Leash18Apache-2.0 leash-integration-gongTyped Gong integration for Leash19Apache-2.0 leash-integration-hubspotTyped HubSpot integration for Leash17Apache-2.0 leash-integration-jiraTyped Jira integration for Leash18Apache-2.0 leash-integration-linearTyped Linear integration for Leash21Apache-2.0 leash-integration-memoryTyped Memory integration for Leash19Apache-2.0 leash-integration-puppeteerTyped Puppeteer integration for Leash19Apache-2.0 leash-integration-slackTyped Slack integration for Leash20Apache-2.0 leash-integration-sliteTyped Slite integration for Leash19Apache-2.0 leash-sdkRust SDK for the Leash platform — unified async client for auth, env, and integrations.465Apache-2.0API bindingsAsynchronous leastA simple terminal pager2,858BSD-3-ClauseCommand line utilities leastsquaresMiller Updating Regression1,279Apache-2.0Science leasyDistributed lease management library120MIT leatThis crate is reserved for the Leat project821MIT OR Apache-2.0 leat_desktopThis crate is reserved for the Leat project825MIT OR Apache-2.0 leat_engineThis crate is reserved for the Leat project830MIT OR Apache-2.0