Detect concurrency and memory bugs and possible panic locations in Rust projects
☆584Oct 21, 2025Updated 4 months ago
Alternatives and similar repositories for lockbud
Users that are interested in lockbud are comparing it to the libraries listed below
Sorting:
- Concurrency permutation testing tool for Rust.☆2,616Feb 20, 2026Updated 2 weeks ago
- Whole program static stack analysis☆650Oct 28, 2024Updated last year
- Kani Rust Verifier☆2,969Updated this week
- A crate for safe and ergonomic pin-projection.☆704Feb 27, 2026Updated last week
- Extremely fast tracing library for Rust☆752Jul 23, 2024Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,744Updated this week
- A tracing library 10~100x faster than others.☆1,049Updated this week
- A thread-per-core async Rust runtime with IOCP/io_uring/polling.☆1,573Updated this week
- ☆207Feb 19, 2024Updated 2 years ago
- A next-generation test runner for Rust.☆2,839Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,515Apr 29, 2025Updated 10 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,369Mar 9, 2024Updated last year
- Heap profiling and ad hoc profiling for Rust programs.☆940Feb 20, 2025Updated last year
- A safe and fast multi-producer, multi-consumer channel.☆2,896Dec 22, 2025Updated 2 months ago
- A fast and flexible LRU map.☆199Jan 3, 2025Updated last year
- Refinement Types for Rust☆836Updated this week
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆927Feb 23, 2026Updated last week
- Experiments with structured concurrency in Rust☆417Jul 24, 2024Updated last year
- Slab allocator for Rust☆879Jan 31, 2026Updated last month
- Generating structured data from arbitrary, unstructured input.☆848Dec 16, 2025Updated 2 months ago
- Rust async runtime based on io-uring.☆4,895Feb 19, 2026Updated 2 weeks ago
- A fast bump allocation arena for Rust☆2,127Feb 26, 2026Updated last week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆2,199Updated this week
- Statically-checked alternatives to RefCell and RwLock☆390Sep 17, 2025Updated 5 months ago
- A high performance concurrent caching library for Rust☆2,429Updated this week
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,600Feb 9, 2026Updated 3 weeks ago
- Module initialization/global constructor functions for Rust☆960Dec 4, 2025Updated 3 months ago
- The fast sync and async channel that Rust deserves☆1,695Dec 18, 2025Updated 2 months ago
- Defines the Rust borrow checker.☆1,582Jun 6, 2025Updated 9 months ago
- Safe Rust bindings to POSIX-ish APIs☆1,924Feb 22, 2026Updated last week
- Adaptors between compression crates and Rust's async IO types☆619Feb 25, 2026Updated last week
- A curated list of awesome Rust checkers☆65Feb 3, 2026Updated last month
- Futures, streams, and async I/O combinators.☆536Feb 5, 2026Updated last month
- Cargo subcommand to provide various options useful for testing and continuous integration.☆803Updated this week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,056Feb 16, 2026Updated 2 weeks ago
- a debugger for async rust!☆4,422Feb 3, 2026Updated last month
- Typed distributed plugin registration☆1,272Feb 19, 2026Updated 2 weeks ago
- An embedded key-value database in pure Rust☆4,278Feb 15, 2026Updated 2 weeks ago
- Support atomic operations on Arc itself☆1,264Feb 22, 2026Updated last week