All 305,250 crates, alphabetically

verdant-cache-mcpMCP server + verdant CLI hosting the verdant-cached tool surface (read, bash, glob, grep, write, edit)128Apache-2.0 verdant-cache-proxyOpenAI-compatible chat-completions proxy with LlmCall caching (part of the verdant agent-loop cache)177Apache-2.0 verdant-cache-runtimeLive cache runtime for the verdant agent-loop cache: content-addressed payload store + DDG269Apache-2.0 verdant-cache-sandboxLinux sandbox exec harness for the verdant cache: userns+mount+net namespaces + overlayfs, captures the write-set and denies…104Apache-2.0 verdant-cache-serverMulti-user shared cache HTTP server for the verdant agent-loop cache181Apache-2.0 verdant-cache-wireShared HTTP wire schema for the verdant cache server and RemoteStore client307Apache-2.0 verdant-coreShared types and traits used by other syntastica crates52MPL-2.0 verdant-highlightStripped-down and slightly modified fork of tree-sitter-highlight for use by verdant84MIT verdant-macrosMacros for internal use in syntastica19MPL-2.0 verdant-queriesCollection of tree-sitter queries for verdant19MPL-2.0 verdant-query-preprocessorThe tree-sitter query pre-processor used by verdant20MPL-2.0 verdant-themesA collection of themes for verdant19MPL-2.0 verdeA refreshingly simple incremental computation library7,712MIT verde-deriveDerive macros for verde2,862MIT verdetBilingual verified-spec pipeline: prose paired with Dafny predicates, hash-locked against drift; lint, extract, verify, derive…145MITDevelopment toolsDevelopment tools::Testing verdet-coreDomain logic for the verdet bilingual verified-spec pipeline: format parsing, pair hashing, dependency DAG, lint verdicts, Dafny…87MITDevelopment toolsDevelopment tools::Testing verdet-harnessRuntime support library for test harnesses generated by verdet: seed-corpus loading, proptest integration, oracle verdict…69MITDevelopment tools::Testing verdet-harness-macrosProc-macro companion to verdet-harness: the #[judged] runtime-contract attribute (capture-pre, call, oracle assertion; debug…22MITDevelopment tools::Testing verdet-renderTypst/PDF rendering for verdet reports: embedded compiler, bundled fonts, no external toolchain.17MITDevelopment tools verdictA formally-verified X.509 certificate validator499Apache-2.0 verdict-cliFast CSV data validation for CI/CD pipelines. Schema-driven rules, structured output, non-zero exit on failure.190MITCommand line utilities verdict-coreHigh-performance data validation engine for tabular data265MITData structuresParser implementations verdictlLibrary to interact with verdi ipc1,219Apache-2.0 verdigrisBrowser application to explore, learn and debug CoAP5,235AGPL-3.0-or-later verdun-cliMothership CLI and shared authenticated-client primitives for Verdun apps18MITCommand line utilities verdureAn ecosystem framework for Rust.792MIT/Apache-2.0 verdure-contextAn ecosystem framework for Rust.974MIT/Apache-2.0 verdure-coreAn ecosystem framework for Rust.1,415MIT/Apache-2.0 verdure-iocAn ecosystem framework for Rust.1,215MIT/Apache-2.0 verdure-macrosAn ecosystem framework for Rust.991MIT/Apache-2.0 verdyceA time-decay threshold consensus engine for decentralized voting and governance with configurable decay models and dynamic…832MITAlgorithmsCryptography vereinsfliegerA Vereinsflieger API client for Rust based on the `reqwest` crate6,909MIT OR Apache-2.0 verencAn implementation of Camenisch Shoup verifiable encryption and decryption of discrete logs2,872Apache-2.0 OR MITAlgorithmsCryptography veresiyeVeresiye Database7,201Apache-2.0Database implementations verethielCLI tool to verify, sort and diff i18n JSON files against a base template37MIT verexThis crate provides a Rust implementation of VerbalExpressions in order to build regex strings without knowing the minutiae of…10,421MIT verfsverfs8,211MulanPSL-2.0 vergDesired-state infrastructure convergence engine264MITCommand line utilities vergeAn experimental actor library1,238MIT OR Apache-2.0 vergenGenerate 'cargo:rustc-env' instructions via 'build.rs' for use in your code via the 'env!' macro46,387,596MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-clA demo of the capabilities of the `vergen-gix` build tool649MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-git2Generate 'cargo:rustc-env' instructions via 'build.rs' for use in your code via the 'env!' macro5,047,943MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-git2-demoA demo of the capabilities of the `vergen-gix` build tool2,372MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-gitclGenerate 'cargo:rustc-env' instructions via 'build.rs' for use in your code via the 'env!' macro5,895,075MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-gitcl-demoA demo of the capabilities of the `vergen-gix` build tool2,384MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-gixGenerate 'cargo:rustc-env' instructions via 'build.rs' for use in your code via the 'env!' macro1,661,468MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-gix-demoA demo of the capabilities of the `vergen-gix` build tool2,642MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-libCommon code used to support the vergen libraries22,200,306MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergen-prettyOutput vergen information in a formatted manner109,707MIT OR Apache-2.0Development toolsDevelopment tools::Build Utils vergilVergil!9,888MIT vergiliusAutomatically generated Windows internals structures from vergiliusproject.com8,729Apache-2.0 vergitCommand line tool for incrementing tags of a git repository according to the SemVer spec16,937MIT verglas🧊 Iced SVG icon font generator2,726MITGUI vergueiro_test_create_new_libLib for learn how the crates.io work545MIT OR Apache-2.0 verhoeffThe Verhoeff algorithm, for number checksums545,860BlueOak-1.0.0 OR MIT OR Apache-2.0Algorithms verhoeff-checksumA Rust implementation of the Verhoeff checksum algorithm for error detection445MITAlgorithmsNo standard library verhub-sdkVerhub 版本与发布管理平台的官方 Rust SDK53Apache-2.0API bindingsWeb programming::HTTP client vericTypes-first static analysis for data warehouses18MIT OR Apache-2.0Command line utilitiesDevelopment tools veric-cliCommand-line interface for Veric — types-first static analysis for data warehouses20MIT OR Apache-2.0Command line utilities veric-coreCore type-checking engine for Veric — types-first static analysis for data warehouses21MIT OR Apache-2.0Development tools veric-sqlSQL type analysis for Veric — types-first static analysis for data warehouses23MIT OR Apache-2.0Development tools veridVerid - Security auditing and formatting tool for developers81MITCommand line utilitiesDevelopment tools veridictStatistical regression gate for comparing candidate vs baseline results (win-rate, Elo, SPRT, bootstrap CI).90MIT OR Apache-2.0Command line utilitiesDevelopment tools::Testing veridiktVeridikt checks whether your code comments still tell the truth — and fails CI when they drift.22MIT OR Apache-2.0Command line utilitiesDevelopment tools veridikt_annotations@veridikt annotation scanning, binding, and module scoping.36MIT OR Apache-2.0Development tools veridikt_deriveVeridikt derived layer: static extraction of functions, calls, and effects from host source, every edge carrying a confidence.35MIT OR Apache-2.0Development tools veridikt_graphThe Veridikt intent graph: node table, adjacency, resolution, reconciliation, and queries.35MIT OR Apache-2.0Development tools veridikt_intentShared intent-model contracts (the AST contract) for Veridikt.73MIT OR Apache-2.0Development tools veridikt_packsBuiltin language packs (manifests + tree-sitter queries) for Veridikt.59MIT OR Apache-2.0Development tools verifactuA library to communicate with the Verifactu API200MIT verifexOfficial Rust SDK for the Verifex sanctions screening API22MITAPI bindingsWeb programming verifiableInterface for cryptographic proof of membership of a set with known members1,611,030GPL-3.0-or-later WITH Classpath-exception-2.0 verifiable-credential-toolkitProvides methods for handling, constructing and signing Verifiable Credentials5,381Apache-2.0 verifiable_encryptionVerifiable encryption schemes - Encryption of discrete log from DKG-in-the-head4,400Apache-2.0 verificarDEPRECATED: Use aprender-verify-ml instead. Re-exports aprender-verify-ml for backward compatibility.4,676MIT verificationBlock verification utilities.3,667GPL-3.0 verification-adjudicationCanonical verification disposition, promotion, refutation, and rollback decisions184MIT verification-calibrationCanonical verification calibration and abstention artifacts190MIT verification-controlCanonical verification control-plane case, plan, receipt, and ledger artifacts217MIT verification-policyCanonical verification policy and approval artifacts196MIT verifiedA library of types to facilitate the development of verifiable rust.10,255MIT verified-anchorFormally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.56CC-BY-NC-ND-4.0CryptographyDevelopment tools verified-anchor-macrosProof-producing proc-macros for verified-anchor (#[derive(VerifiedAccounts)], #[derive(AccountData)], #[account]).82CC-BY-NC-ND-4.0CryptographyDevelopment tools verified-graphsGraphs verified from first principles in Verus44MIT verifierMacros that provide common software verifier primitives1,781MIT VerifileRead MFT and USN journal1,329AGPL-3.0Filesystem veriformCryptographically verifiable data serialization format inspired by Protocol Buffers9,176Apache-2.0AuthenticationCryptography veriform_deriveCustom derive for the Veriform verifiable data serialization format7,175Apache-2.0AuthenticationCryptography verifyA validation library15,840MIT verify-beaconComputes and verifies an iterated SHA-256 randomness beacon using hardware acceleration if available.1,570MIT verify-buffer-integrityUtility CLI for verifying that data in a solana account matches a given file2,588MIT OR Apache-2.0 verify-callUtility to verify whether a method has been called on a mock.6,331MITData structuresDevelopment tools::Testing verify-cliA cli tool for getting multiple hashes of a file for quick verification3,841MIT OR Apache-2.0 verify-emoji-commitVerify commit message with emoji-commit3,992MIT verify-keplr-signVerify keplr arbitrary signature3,154MIT verify-macrosProcedural macros for the Verify library9,083MIT verify-networkingNetwork pre-flight check for Claude Code and Codex CLI — startup check + per-call daemon proxy with DNS, exit IP region, and TCP…40MIT verify-same-kmer-contentVerify that an SPSS has the same kmer content as a set of unitigs13,583BSD-2-Clause verify-trustCI verifier for VGI: checks that every commit in a git range is signed by a DID the community's Trust Registry currently…28Apache-2.0Command line utilitiesDevelopment tools verify_macroAn attribute that automatically instruments code with logical type bounds.10,191MIT verify_stringA library for verifying strings.17,690MIT verify_tls_certA demo program for libwebpki.1,879non-standard verifyctlMinimal verification planner/executor/reporter14MIT verifyimgsimple image verification tool3,011MIT verifyos-cliAI agent-friendly Rust CLI for scanning iOS app bundles for App Store rejection risks before submission.870MITCommand line utilitiesDevelopment tools verifysignA rust cargo used to verify digital code signature on files.132,020BSD-3-Clause verihashFormat-independent structured hashing algorithm2,064MITAuthenticationCryptography verilatedBindings to Verilated APIs for working with Verilator's generated verilog simulators.5,415MIT/Apache-2.0API bindings verilated-moduleA procedural macro for replacing verilated marked up structs with include of generated code.4,018MIT/Apache-2.0Development tools::Procedural macro helpers verilatorAutomated generation of Verilator test modules.11,695MIT/Apache-2.0Development tools::Build UtilsDevelopment tools::FFI verilization-bindings-c-api-coreThe C api excluding the languages to allow adding extra languages.1,661GPL-3.0-only verilization-compilerThe verilization serialization description language compiler. This contains the core compiler library, but not the languages or…5,489GPL-3.0-only verilization-compiler-cliThe verilization serialization description language compiler command line.1,595GPL-3.0-only verilization-compiler-cli-coreThe verilization serialization description language compiler. This contains the CLI without any languages to allow adding extra…2,424GPL-3.0-only verilization-lang-javaJava language support for the verilization description language.2,449GPL-3.0-only verilization-lang-scalaScala language support for the verilization description language.2,447GPL-3.0-only verilization-lang-typescriptTypeScript language support for the verilization description language.2,475GPL-3.0-only verilogParser for Verilog.2,484MIT verilog-arcA rust proc macro based code generation backend for OpenVAF4,266GPL-3.0 verilog-filelist-parserA library to parse a Verilog Filelist and return a list of files, include directories and defines16,346MITDevelopment toolsParser implementations verilog-netlist-parseriEDA verilog netlist parser1,280non-standard verilogae_utilUilites for the rust/python glue generated by VerilogAE8,474GPL-3.0+ veriloghexParse Verilog .hex format479MIT OR Apache-2.0 verilotCommand line tool for running and checking verifiable lotteries.1,623MIT verincVerinc is a small command line utility (and a library) which increments version in the given file.1,529MIT veripbVeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.365MIT OR Apache-2.0Command line utilitiesScience veripb-formulaVeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures.1,059MIT OR Apache-2.0Data structures veripb-parserVeriPB parsing library for OPB, WCNF, and DIMACS CNF formats.755MIT OR Apache-2.0Parsing tools veripb-propagatorVeriPB library for a pseudo-Boolean propagation engine.762MIT OR Apache-2.0 veritExavian Veritate — zero-copy, self-describing, schema-evolvable binary serialization, safe on untrusted bytes, no unsafe,…19Apache-2.0Data structuresEncoding verit-cliThe `verit` command-line tool for Exavian Veritate: dump, id, verify, gen, build.15Apache-2.0Command line utilitiesEncoding verit-coreInternal: portable core engine for Exavian Veritate. Not a public API — depend on `verit`.19Apache-2.0Data structuresEncoding verit-deriveThe #[derive(Verit)] procedural macro for Exavian Veritate. Enable via `verit`'s `derive` feature.15Apache-2.0EncodingRust patterns veritasA library of composable assertions with pretty output1,690Apache-2.0 veritas-cliCLI for veritas39Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritas-coreCore orchestration for veritas116Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritas-goGo language plugin for veritas61Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritas-nexusAdvanced multi-modal lie detection system with explainable AI, featuring text, vision, audio, and physiological analysis with…526MIT OR Apache-2.0AlgorithmsScience veritas-plugin-apiShared plugin API and data model for veritas146Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritas-pythonPython language plugin for veritas41Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritas-reportReport rendering for veritas59Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritas-rustRust language plugin for veritas64Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Testing veritateAlias for `verit` — the Exavian Veritate zero-copy, self-describing, schema-evolvable serialization format. Re-exports `verit`;…14Apache-2.0Data structuresEncoding verite_crate_demoA fun package to run about crates.io1,635MIT verityGenerate memorable passphrases and passwords3,061NOASSERTION verity-cliCLI for Verity — the open-source, permission-aware memory layer for enterprise AI agents. Name reserved for the project; build…14Apache-2.0Command line utilities verity-clientVerity Rust Client2,142MIT/Apache-2.0 verity-dp-ic-A library containing utilities for the Verity IC components790MIT/Apache-2.0 verity-hashdm-verity hash image verifier979MIT verity-icA library containing utilities for the Verity IC components1,001MIT/Apache-2.0 verity-mcpMCP server for Verity — the open-source, permission-aware memory layer for enterprise AI agents. Name reserved for the project;…14Apache-2.0Command line utilities verity-memoryPersonal memory library with some cool features.4,369MIT verity-verify-localA library providing utilities for locally verifying Merkle tree responses obtained from the managed Verity Verifier942MIT/Apache-2.0 verity-x3pNative reader/writer for the X3P (ISO 25178-72 / ISO 5436-2) 3D surface topography format.22MIT OR Apache-2.0Parser implementationsScience verity_dp_icA Library containing utilities for the verity IC components3,860MIT/Apache-2.0 veriwasmA safety verifier for native-compiled WebAssembly code12,242non-standard verkehrplaceholder for verkehr1,509LGPL-3.0 verkleVerkle tree implementation in Rust.1,636Apache-2.0 verkle-treeA Rust implementation of Verkle Trees, a powerful upgrade to Merkle Trees that offers improved efficiency and reduced proof…1,553MIT verkle_pqQuantum-resistant Verkle tree library built on quilibrium-verkle with CRYSTALS-Dilithium3 (ML-DSA-65) post-quantum signatures and…42MITAuthenticationCryptography verkletreeVerkle Tree2,668Apache-2.0AlgorithmsCryptography verlibParser for verlib, the better version standard from PEP-4401,721MIT vermilionA safe and reliable process manager. The name is derived from the color of paint that is often used as a protective coating on…3,185MIT vermilion-codegenA code generator for the Vermilion virtual machine.2,404MIT vermilion-objectA library for packaging Vermilion bytecode.3,046MIT vermilion-vmA virtual machine written in Rust.3,672MIT vermilion_jitA toolkit for JIT compilation.1,644MIT vermilionrcA safe and reliable process manager. The name is derived from the color of paint that is often used as a protective coating on…1,692MIT/Apache-2.0 vermoutha new kind of parser for procedural macros3,429MIT OR Apache-2.0 vernThe version number parser for rust5,026MIT vernacularA dead-simple localization crate for Rust game development.105MIT OR Apache-2.0 OR GPL-3.0-only OR LGPL-3.0-onlyGame developmentInternationalization (i18n) verneA human virtual resources creator from templates2,070Apache-2.0 verneuilA sqlite VFS for asynchronous replication to S3-compatible blob stores64,616MIT vernierName reservation for the vernier evaluation library. The real crate ships at >=0.1.0.21MIT OR Apache-2.0Computer visionScience vernier-cliCommand-line driver for the vernier evaluation library117MIT OR Apache-2.0Command line utilitiesComputer vision vernier-corePure-Rust core for the vernier evaluation library223MIT OR Apache-2.0Computer visionScience vernier-maskCOCO RLE codec, polygon rasterizer, and mask kernels for the vernier evaluation library311MIT OR Apache-2.0Computer visionScience vernier-panopticPanoptic-quality (PQ) evaluation for the vernier evaluation library (ADR-0025)111MIT OR Apache-2.0Computer visionScience vernier-partialShared wire envelope and partition policy for vernier's distributed-eval partials (ADR-0032)294MIT OR Apache-2.0Computer visionScience vernier-rsNative pixel-measurement screen overlay for macOS and Linux/Wayland. Fast, built in Rust. Installs the `vernier` binary.196MIT OR Apache-2.0GUI vernier-rs-coreCore algorithms, geometry, and settings for Vernier, the native pixel-measurement screen overlay.335MIT OR Apache-2.0 vernier-rs-platformPlatform abstraction and native overlay backends (macOS, Linux/Wayland) for Vernier.296MIT OR Apache-2.0 vernier-rs-uiegui-based preferences window for Vernier, the native pixel-measurement screen overlay.251MIT OR Apache-2.0 vernier-semanticSemantic-segmentation evaluation for the vernier evaluation library (ADR-0028)111MIT OR Apache-2.0Computer visionScience veroTBD780non-standard verona-rtIdiomatic binding to the verona runtime2,705MIT verona-rt-sysLow level bindings to verona-rt.3,421MIT verovioSafe Rust bindings to the Verovio music engraving library.97LGPL-3.0-or-laterMultimediaRendering verovio-dataSMuFL font and resource files bundled for the Verovio engraver.240LGPL-3.0-or-laterMultimedia verovio-sysLow-level cxx bridge to the Verovio music engraving library.248LGPL-3.0-or-laterExternal FFI bindingsMultimedia verovioxideSafe Rust bindings to the Verovio music notation engraving library170Apache-2.0Multimedia::EncodingParsing tools verovioxide-dataBundled SMuFL fonts and resources for verovioxide257Apache-2.0Multimedia::Encoding verovioxide-sysRaw FFI bindings to the Verovio music engraving library256Apache-2.0External FFI bindings versInstall and manage dev tools with multiple environments10,855MIT OR Apache-2.0Command line utilities vers-cliSimple CLI tools for bumping and parsing version numbers1,488non-standardCommand line utilitiesDevelopment tools vers-rsA library for parsing and checking version range specifiers569Apache-2.0 vers-sdkSDK for Orchestrator Control Plane API89MITAPI bindings vers-vecsA collection of succinct data structures supported by fast implementations of rank and select queries.123,835MIT OR Apache-2.0AlgorithmsData structures versaVersa types and utilities for developing Versa client applications in Rust56,608MIT versa_coreA versatile plugin API designed as a core framework for building dynamic, static, or hybrid extensible applications across…1,213Apache-2.0