CATEGORY

Development tools::Testing 2,431 crates

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.

libafl_boltsLow-level bolts to create fuzzers and so much more183,365MIT OR Apache-2.0Development tools::TestingEmbedded development wasmer-inline-cFork of inline-c to add support for MSVC172,670BSD-3-ClauseDevelopment tools::Testing cucumber_rust_codegenCode generation for `cucumber_rust` crate.170,890MIT OR Apache-2.0AsynchronousDevelopment tools::Testing wasmer-inline-c-macroThe macros for the `inline-c` crate, that allows to write and execute C code inside Rust169,947BSD-3-ClauseDevelopment tools::Testing galvanic-assertA comprehensive set of matcher-based assertions and expectations for easier testing. Supports checking properties of numbers,…166,546Apache-2.0Development tools::Testing unimockA versatile and developer-friendly trait mocking library159,981MITDevelopment toolsDevelopment tools::Testing dinghy-libCross-compilation made easier - see main crate cargo-dinghy158,989MIT/Apache-2.0Development tools::Cargo pluginsDevelopment tools::Profiling cargo-dinghyCross-compilation made easier157,240MIT/Apache-2.0Development tools::Cargo pluginsDevelopment tools::Profiling two-rusty-forksCross-platform library for running Rust tests in sub-processes using a fork-like interface.153,435MIT/Apache-2.0Development tools::Testing stainlessOrganized, flexible testing framework.147,513MITDevelopment toolsDevelopment tools::Profiling two-rusty-forks-macroProc-macro library for rusty-fork.140,720MIT/Apache-2.0Development tools::Testing wraptestA simple way to run code before and after every unit test138,121MITAsynchronousDevelopment tools bustleBenchmarking harness for concurrent key-value collections137,379Apache-2.0ConcurrencyDevelopment tools::Profiling term-transcriptSnapshotting and snapshot testing for CLI / REPL applications133,940MIT OR Apache-2.0Development tools::TestingVisualization procoutOutput a proc macro's TokenStream to a file.133,623MITDevelopment tools::DebuggingDevelopment tools::Procedural macro helpers mockiatoA strict, yet friendly mocking library for Rust 2018133,119MITDevelopment tools::Testing simulacrum_macrosMacros to simplify creating mock objects with Simulacrum.132,647MITDevelopment tools::Testing simulacrumMinimal library for creating mock objects by hand using stable Rust.132,278MITDevelopment tools::Testing readable-name-generatorGenerate a readable name for throwaway infrastructure128,322CC0-1.0Command line utilitiesDevelopment tools::Testing docmaticTest Rust examples in your documentation.125,093MITDevelopment toolsDevelopment tools::Testing uselesskey-coreCore factory, deterministic derivation, and cache engine for uselesskey test fixtures.124,973MIT OR Apache-2.0CryptographyDevelopment tools::Testing simulacrum_sharedTypes used when both creating and using mock objects with Simulacrum.124,968MITDevelopment tools::Testing trybuild-internals-apiA fork of trybuild with the internals exposed as a public API124,743MIT OR Apache-2.0Development tools::Testing uselesskey-core-seedSeed parsing and redaction primitives for uselesskey.123,642MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-hashLength-prefixed hashing helpers shared by deterministic fixture derivation paths.123,564MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-idCore identity and derivation primitives for uselesskey.123,440MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-negative-derDER-focused negative fixture builders for deterministic corruption in uselesskey.123,313MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-negative-pemPEM-focused negative fixture corruption helpers for test fixtures.123,311MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-cacheIdentity-keyed typed cache primitives for uselesskey fixture factories.123,304MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-negativeCompatibility facade for negative fixture builders used by uselesskey.123,297MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-sinkTempfile-backed artifact sinks used by uselesskey.123,274MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-factoryFactory orchestration and cache lookup behavior for uselesskey fixtures.123,259MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-kidDeprecated compatibility shim for deterministic kid helpers; prefer uselesskey-jwk.123,134MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskeyDeterministic cryptographic key and certificate fixtures for Rust tests. Seed-stable, cached, scanner-safe.122,677MIT OR Apache-2.0CryptographyDevelopment tools::Testing simulacrum_userFunctionality that is helpful when using mock objects created with Simulacrum.122,577MITDevelopment tools::Testing simulacrum_mockCore functionality for creating mock objects with Simulacrum.122,558MITDevelopment tools::Testing test-forkA library for running tests in separate processes.118,908Apache-2.0 OR MITDevelopment toolsDevelopment tools::Testing uselesskey-hmacHMAC HS256/HS384/HS512 secret fixtures for deterministic and random tests.115,630MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-core-hmac-specHMAC algorithm spec model shared across uselesskey hmac-related crates.115,433MIT OR Apache-2.0CryptographyDevelopment tools::Testing uselesskey-jsonwebtokenjsonwebtoken adapter traits for uselesskey fixtures (EncodingKey/DecodingKey).114,999MIT OR Apache-2.0CryptographyDevelopment tools::Testing aristoAristo SDK — annotation macros and verification (meta-crate).114,738MITDevelopment toolsDevelopment tools::Testing simple_test_caseA bare bones attribute macro for writing parameterised tests114,028MITDevelopment toolsDevelopment tools::Testing apollo-smithA GraphQL test case generator.113,127MIT OR Apache-2.0CompilersDevelopment tools hegeltestProperty-based testing for Rust, built on Hypothesis110,865MITDevelopment tools::Testing kitestA composable test harness toolkit with room to fly.110,746MITCommand line utilitiesDevelopment tools junit-parserRust library to parse JUnit XML files108,669BSD-2-ClauseDevelopment tools::TestingParser implementations mark-flaky-testsMark, debug and auto-retry your flaky tests106,316MIT OR Apache-2.0Development toolsDevelopment tools::Testing ranSimple, fast random numbers generation105,856BSD-3-ClauseAlgorithmsDevelopment tools::Testing unit_test_utilsRust unilities for unit tests102,967MITDevelopment tools::Testing cargo-minimal-versionsCargo subcommand for proper use of -Z minimal-versions and -Z direct-minimal-versions.101,167Apache-2.0 OR MITCommand line utilitiesDevelopment tools::Cargo plugins waitforRetry a function until it succeeds, errors out, or a timeout/deadline is reached.95,282GPL-3.0-or-laterAsynchronousConcurrency pseudoA small mocking library for Rust93,922MITDevelopment tools::Testing awaitilityAwaitility for Rust92,466Apache-2.0Development tools::Testing futures-test-sinkTest utilities for futures::sink90,933MIT OR Apache-2.0AsynchronousDevelopment tools::Testing ctrf-rsA reporter for Common Test Report Format (CTRF) in Rust90,789MITData structuresDevelopment tools::Testing asserhttpFluent http response assertions88,549Apache-2.0API bindingsDevelopment tools::Testing zuuA program to check your code quality before all commit85,657AGPL-3.0Development toolsDevelopment tools::Testing parameterized_testA macro to support providing arguments to test functions.85,403MIT OR Apache-2.0Development tools::TestingRust patterns stubrWiremock implemented in Rust83,436Apache-2.0Command line utilitiesDevelopment tools::Testing test-spanmacro and utilities to do snapshot tests on tracing spans82,665MIT OR Apache-2.0Development tools::Testing libafl_targetsCommon code for target instrumentation that can be used combined with LibAFL82,048MIT OR Apache-2.0Development tools::TestingEmbedded development assert_jsonjson testing made simple81,693non-standardDevelopment toolsDevelopment tools::Testing coverage-prepareConvert coverage data to HTML reports, LCOV files or terminal tables81,462MITCommand line utilitiesDevelopment tools marine-test-macro-implImplementation of the `#[marine_test]` macro79,237Apache-2.0API bindingsDevelopment tools::Testing marine-test-macroDefinition of the `#[marine_test]` macro79,127Apache-2.0API bindingsDevelopment tools::Testing assayA super powered testing macro for Rust75,135MPL-2.0Development toolsDevelopment tools::Testing assay-proc-macroA super powered testing macro for Rust73,434MPL-2.0Development toolsDevelopment tools::Testing rusty-ciA tool to generate buildbot projects from a YAML file72,966Apache-2.0Command line utilitiesConfiguration marine-rs-sdk-testBackend SDK that allows testing modules for the Marine runtime71,946Apache-2.0API bindingsDevelopment tools::Testing deqp-runnerA VK-GL-CTS/dEQP wrapper program to parallelize it across CPUs and report results against a baseline.71,848MITCommand line utilitiesConcurrency pmatPMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)71,371MIT OR Apache-2.0Command line utilitiesDevelopment tools ws-mockA websocket mock server for testing, inspired by Wiremock.70,359MITDevelopment tools::Testing buildkite-test-collectorOfficial Buildkite Test Analytics Collector for Rust68,830MITDevelopment tools::Testing tauri-plugin-webdriverW3C WebDriver implementation for Tauri applications67,914MITDevelopment tools::TestingGUI random-traitRust library for a random trait meant to produce random generic types66,266MIT/Apache-2.0AlgorithmsCryptography webassembly-testRuntime-independent wasm32-unknown-unknown test framework66,101MIT OR Apache-2.0Development tools::TestingWebAssembly random-fast-rngRust library for Blazing fast non cryptographic random number generator65,131MIT/Apache-2.0AlgorithmsDevelopment tools::Testing marine-build-rs-generatorTools for generating marine_test_env in build scripts64,921Apache-2.0API bindingsDevelopment tools::Testing bulloakA Solidity test generator based on the Branching Tree Technique.63,452MIT OR Apache-2.0Command line utilitiesCompilers antithesis-instrumentationMethods for Rust programs to compile with coverage instrumentation for the Antithesis platform.63,274MITDevelopment tools::Testing mock-itMake mocking reliable62,420MITDevelopment tools::Testing test-temp-dirTemporary directories for use in tests62,007MIT OR Apache-2.0Development tools::Testing hello_exercismhow to create an own crate61,553MIT OR Apache-2.0Development tools::Testing include-fileInclude sections of files into Rust source code60,534MITDevelopment tools::Build UtilsDevelopment tools::Testing droptestA helper crate for testing drop-semantics60,209MPL-2.0Development tools::Testing stubr-attributesWiremock implemented in Rust59,852Apache-2.0Command line utilitiesDevelopment tools::Testing checkitoA safe, efficient and simple QuickCheck-inspired library to generate shrinkable random data mainly oriented towards…58,022MITDevelopment tools::Testing conjectureCore engine for Hypothesis implementations56,606MPL-2.0Development tools::Testing libtest-withA slightly customized version of libtest-mimic, such that it can be easier create a test runner for test-with55,809MIT/Apache-2.0Development tools::Build UtilsDevelopment tools::Testing vyre-harnessUniversal Cat-A op harness registry: OpEntry, ConvergenceContract, FixpointContract, UniversalDiffExemption - the registry…55,372MIT OR Apache-2.0Development tools::Testing terminator-rsA Playwright-style SDK for automating desktop GUI applications55,124non-standardAccessibilityAPI bindings derive_fuzztest_macroMacro implementation for derive_fuzztest54,727Apache-2.0Development tools::Testing runnelthe pluggable io stream. now support: stdio, string io, in memory pipe, line pipe54,692MIT OR Apache-2.0ConcurrencyDevelopment tools::Testing derive_fuzztestA Rust proc-macro to enable using the same implementation for fuzz tests and property tests.54,386Apache-2.0Development tools::Testing playwright-rsRust bindings for Microsoft Playwright54,324Apache-2.0Development tools::TestingWeb programming test-each-codegenInternal proc-macro crate for `test-each`53,913non-standardDevelopment tools::Build UtilsDevelopment tools::Testing test-eachGenerate tests at compile-time based on file resources53,522non-standardDevelopment tools::Build UtilsDevelopment tools::Testing terminator-workflow-recorderA crate for recording user workflows on Windows53,302non-standardAccessibilityDevelopment tools roastStructures and tools to parse, navigate, and validate OpenAPI v3.1 specifications52,249MITDevelopment tools::Testing holochain_tracingabstraction for distributed tracing choices51,920Apache-2.0Development tools::DebuggingDevelopment tools::Profiling git-gambleblend TDD + TCR to make sure to develop the right thing 😌, baby step by baby step 👶🦶51,750ISCCommand line utilitiesDevelopment tools exonum-testkitTestkit for Exonum blockchain framework, allowing to test service APIs synchronously.51,576Apache-2.0Development tools::Testing ic-kitTestable Canister Developer Kit for the Internet Computer.50,140Apache-2.0API bindingsDevelopment tools::Testing assert_fnA proc macro for turning test helper functions into assert! style macros49,792MITDevelopment toolsDevelopment tools::Testing fuzzcheckA modular, structure-aware, and feedback-driven fuzzing engine for Rust functions48,927MITDevelopment tools::Testing phenomenonFunctions for software testing =)47,974Apache-2.0 OR MITDevelopment tools::Testing polishTest-Driven Development done right47,934MITDevelopment tools::Testing injectorppInjectorpp is a powerful tool designed to facilitate the writing of unit tests without the need to introduce traits solely for…47,224MITDevelopment tools::Testing arbitrary_extProvides combinator functions to generate standard collections with custom arbitrary function.47,146MITDevelopment tools::Testing test-data-generationA simple to use, light-weight library that analyzes sample data to build algorithms and generates realistic test data.47,124Apache-2.0AlgorithmsDevelopment tools::Testing temp_env_vars_macroHelper crate for temp_env_vars to enable macro support45,875MITDevelopment tools::Testing panic-controlUtilities to test code with intentional panics45,814Apache-2.0/MITDevelopment tools::Testing temp_env_varsResets all environment variables changed in a defined scope45,761MITDevelopment tools::Testing qcheckAutomatic property based testing with shrinking.45,224Unlicense OR MITDevelopment tools::Testing async-mockAsync trait mocking45,060MITDevelopment tools::Testing entraitLoosely coupled Rust application design made easy44,977MITDevelopment tools::TestingRust patterns cargo-feature-combinationsrun cargo commands for all feature combinations43,796MITCommand line utilitiesDevelopment tools assert_enum_variantsA Rust macro that asserts that all variants of an enum are as provided in the macro invocation.42,117MIT OR Apache-2.0Development toolsDevelopment tools::Debugging supercilex-testsTest utilities I use.41,919Apache-2.0Development tools::Testing fickleTools for handling fickle (flaky) tests in rust.41,430GPL-3.0-onlyDevelopment tools::Testing doubleFull-featured mocking library in Rust, including rich failure messages and argument matchers41,183MITDevelopment tools::Testing goldentestsA golden file testing library where tests can be configured within the same test file41,031non-standardDevelopment tools::Testing little-skepticTest your Rust markdown documentation via Cargo40,938MIT/Apache-2.0Development toolsDevelopment tools::Testing file-serveHTTP Static File Server40,889MIT OR Apache-2.0Development tools::TestingWeb programming::HTTP server rstest_testProvides some utilities used by to write rstest crate's tests.40,880MIT OR Apache-2.0Development tools::Testing fake-opentelemetry-collectorA Fake (basic) opentelemetry collector, useful to test what is collected opentelemetry40,861CC0-1.0Development tools::Testing fickle-macrosTools for handling fickle (flaky) tests in rust.40,729GPL-3.0-onlyDevelopment tools::Testing fluidAn human readable test library.40,653Apache-2.0Development tools::Testing rand_devReproducible randomness source for tests40,561MIT OR Apache-2.0Development toolsDevelopment tools::Debugging provwasm-mocksRust mocks that enable unit testing of CosmWasm smart contracts that interact with custom modules in the Provenance Blockchain40,388Apache-2.0Cryptography::CryptocurrenciesDevelopment tools::Testing totemsA collection of assertion macros for unit testing or otherwise.40,206non-standardDevelopment tools::Testing proptest-statefulLibrary for building stateful property tests using the proptest crate39,930Apache-2.0Development tools::Testing stubr-cliWiremock implemented in Rust39,756Apache-2.0Command line utilitiesDevelopment tools::Testing rusteniumA modern, robust, high-performance WebDriver BiDi automation library for Rust39,651MITAPI bindingsDevelopment tools::Testing continuous-testingA continuous testing tool39,139GPL-2.0-or-laterDevelopment toolsDevelopment tools::Testing mz_rusoto_mockAWS SDK for Rust - Request Mocking Helpers38,940MITDevelopment tools::Testing assert-strMacros for asserting multiline strings38,667Apache-2.0 OR MITDevelopment tools::Testing runtA lightweight and parallel snapshot testing framework.38,636non-standardDevelopment tools::Testing smokeA framework for testing38,494MIT/Apache-2.0Development tools::Testing mockallocA crate to allow testing code which uses the global allocator.38,464MIT OR Apache-2.0Development tools::TestingMemory management test_logsLibrary to see logs in tests38,295MIT OR Apache-2.0Development toolsDevelopment tools::Testing fuzzcheck_mutators_deriveProcedural macros to generate fuzzcheck mutators37,720MITDevelopment tools::Testing relm-testTesting library for relm37,286MITDevelopment tools::TestingGUI dicetestFramework for writing tests with randomly generated test data37,221MIT OR Apache-2.0Development tools::Testing libafl_ccCommodity library to wrap compilers and link LibAFL36,326MIT OR Apache-2.0Development tools::TestingEmbedded development penumMake enum conform to a given pattern36,126MIT OR Apache-2.0Development tools::Procedural macro helpersDevelopment tools::Testing provable-contracts-macrosProc macros for compile-time contract enforcement — #[contract] attribute35,821MITDevelopment tools::Testing playwright-rs-macrosCompile-time-validated selector macros for playwright-rs35,815Apache-2.0Development tools::TestingRust patterns scrutA simple and powerful test framework for CLI applications35,649MITCommand line utilitiesDevelopment tools::Testing env_wrapperA wrapper around std::env to facilitate testing35,447MIT OR Apache-2.0ConfigurationDevelopment tools fuzzcheck_commonCommon components for both cargo-fuzzcheck and fuzzcheck35,408MITDevelopment tools::Testing assert-callA tool for testing that ensures code parts are called as expected.34,610MIT OR Apache-2.0Development tools::Testing rstest-bdd-patternsShared step-pattern compilation utilities for rstest-bdd.34,277ISCDevelopment tools::Testing nologPretty (by default) and easy to use logger. Compile-time level filtering, zero deps.34,136Apache-2.0 OR MITDevelopment toolsDevelopment tools::Debugging rustainersA simple, opinionated way to run containers for tests.34,112MIT OR Apache-2.0Development tools::Testing typed_test_genMacros to help generate tests from functions with generic type parameters.33,976GPL-3.0-onlyDevelopment tools::Testing rstest-bddA BDD testing framework for Rust, built on rstest.33,974ISCDevelopment tools::Testing rstest-bdd-macrosProcedural macros for the rstest-bdd testing framework.33,001ISCDevelopment tools::Testing smt-scopeA library for parsing and analysing SMT traces.32,639Apache-2.0Development toolsDevelopment tools::Debugging mock-ioA crate with mock IO stream and listener implementations32,595MIT/Apache-2.0Development tools::TestingNetwork programming rsfsA generic filesystem with disk and in-memory implementations.32,565MITDevelopment toolsDevelopment tools::Testing cpastRun custom testcase with powerful clex language powered generated tool. Ideal for competitive coders. Can test two file and pass…32,470GPL-3.0-or-laterCommand line utilitiesCompilers bare-testA test framework for bare metal.32,456MPL-2.0Development toolsDevelopment tools::Testing libafl_fridaFrida backend library for LibAFL32,188MIT OR Apache-2.0Development tools::TestingEmbedded development assert-tokenstreams-eqA utility for comparing token streams: applies rustfmt for consistent formatting and leverages pretty_assertions to clearly…32,156MIT OR Apache-2.0Development toolsDevelopment tools::Procedural macro helpers n0-tracing-testHelper functions and macros that allow for easier testing of crates that use `tracing`.31,894MITDevelopment tools::Testing libafl_qemuQEMU user backend library for LibAFL31,810MIT OR Apache-2.0Development tools::TestingEmbedded development n0-tracing-test-macroA procedural macro that allow for easier testing of crates that use `tracing`. Internal crate, should only be used through the…31,526MITDevelopment tools::Testing astarte-device-sdk-mockMock implementation of the traits in the astarte-device-sdk31,361Apache-2.0API bindingsDevelopment tools::Testing maelstrom-simexSIMulation EXplorer: a test utility for exhaustively exploring all possible simulations in a simulation space.30,983MIT OR Apache-2.0Development tools::TestingSimulation libtest-lexarglibtest-compatible argument parser30,875MIT OR Apache-2.0Development tools::Testing ftzzFile Tree Fuzzer creates a pseudo-random directory hierarchy filled with some number of files.30,872Apache-2.0Command line utilitiesDevelopment tools outdir-tempdirA crate for cargo-test to create temporary directories under Cargo-provided or caller-selected roots.30,700MITDevelopment tools::Testing libtest2-mimicAn experimental replacement for libtest-mimic30,682MIT OR Apache-2.0Development tools::Testing libtest-jsonDefinition of the json output for libtest30,640MIT OR Apache-2.0Development tools::Testing libtest2-harnessAn experimental replacement for the core of libtest30,612MIT OR Apache-2.0Development tools::Testing ensc-testsuiteTool to generate TAP or JUnit reports30,411GPL-3.0+Development tools::Testing netsimRun tests in network-isolated threads. Intercept and meddle with their packets.29,967MIT OR BSD-3-ClauseAsynchronousDevelopment tools::Testing exec-targetthe simple invoke command for test29,506MIT OR Apache-2.0Development tools::TestingText processing tla-connectTLA+/Apalache integration for model-based testing29,292MIT OR Apache-2.0Development tools::TestingScience holochain_tracing_macrosabstraction for distributed tracing choices29,234Apache-2.0Development tools::DebuggingDevelopment tools::Profiling llmsimLLM Traffic Simulator - A lightweight, high-performance LLM API simulator28,854MITDevelopment tools::TestingSimulation cargo-msrv-prepCargo subcommand useful to prepare for determining/verifying a crate's MSRV28,781MITCommand line utilitiesDevelopment tools::Cargo plugins detect_flakeRun many instances of the same command in parallel to find abnormal behavior or check if a test is flaky28,767MIT OR Apache-2.0Command line utilitiesDevelopment tools::Debugging libafl_libfuzzerlibFuzzer shim which uses LibAFL with common defaults28,618MIT OR Apache-2.0Development tools::Testing nitrokey-testSupporting test infrastructure for the nitrokey crate and others using it.28,473GPL-3.0-or-laterDevelopment toolsDevelopment tools::Testing riprFind static mutation-exposure gaps before expensive mutation testing28,415MIT OR Apache-2.0Development toolsDevelopment tools::Testing rstest-bdd-policyShared runtime policy types for rstest-bdd.28,265ISCDevelopment tools::Testing rendiffImage comparison (diffing) for computer graphics renderer test cases.28,211MIT OR Apache-2.0Development tools::TestingGame development cvlr-assertsAsserts and assumes for post- and pre-conditions28,199MITDevelopment tools::DebuggingDevelopment tools::Testing testcontainers-redpanda-rsUnofficial redpanda test container28,149MITDevelopment tools::Testing mock-it_codegenCodegen for mock-it28,036MITDevelopment tools::Testing cvlr-nondetNon-deterministic (i.e., symbolic) values27,893MITDevelopment tools::DebuggingDevelopment tools::Testing facet-testhelpersA collection of testing helpers and utilities for facet27,605MIT OR Apache-2.0Development toolsDevelopment tools::Testing bulloak-syntaxA Solidity test generator based on the Branching Tree Technique.27,439MIT OR Apache-2.0Command line utilitiesCompilers assert_matches_regexMacro for asserting that a string matches a regex27,259MIT OR Apache-2.0Development tools::Testing mockableUsefull components to make easier to mock your code27,139non-standardDevelopment tools::Testing bulloak-foundryA Solidity test generator based on the Branching Tree Technique.27,070MIT OR Apache-2.0Command line utilitiesCompilers cvlr-logLogging in Certora Calltrace27,036MITDevelopment tools::DebuggingDevelopment tools::Testing bpfvm`bpfvm` is a small BPF VM implementation and cBPF token 'assembler'. It is intended for testing cBPF functionality before…26,800ISCDevelopment tools::TestingNetwork programming