BurtonQin / lockbudView external linksLinks
Detect concurrency and memory bugs and possible panic locations in Rust projects
☆583Oct 21, 2025Updated 3 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,600Jan 12, 2026Updated last month
- Whole program static stack analysis☆649Oct 28, 2024Updated last year
- Kani Rust Verifier☆2,903Updated this week
- A crate for safe and ergonomic pin-projection.☆702Updated this week
- Extremely fast tracing library for Rust☆752Jul 23, 2024Updated last year
- A thread-per-core Rust runtime with IOCP/io_uring/polling.☆1,493Feb 6, 2026Updated last week
- A tracing library 10~100x faster than others.☆1,026Jan 30, 2026Updated 2 weeks ago
- A next-generation test runner for Rust.☆2,816Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,738Feb 2, 2026Updated last week
- ☆205Feb 19, 2024Updated last year
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,503Apr 29, 2025Updated 9 months ago
- Heap profiling and ad hoc profiling for Rust programs.☆934Feb 20, 2025Updated 11 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,371Mar 9, 2024Updated last year
- A safe and fast multi-producer, multi-consumer channel.☆2,878Dec 22, 2025Updated last month
- A fast and flexible LRU map.☆200Jan 3, 2025Updated last year
- Refinement Types for Rust☆825Feb 6, 2026Updated last week
- Experiments with structured concurrency in Rust☆410Jul 24, 2024Updated last year
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆919Jan 19, 2026Updated 3 weeks ago
- Slab allocator for Rust☆875Jan 31, 2026Updated last week
- Generating structured data from arbitrary, unstructured input.☆848Dec 16, 2025Updated last month
- A fast bump allocation arena for Rust☆2,096Jan 12, 2026Updated last month
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆2,180Updated this week
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,588Updated this week
- Statically-checked alternatives to RefCell and RwLock☆388Sep 17, 2025Updated 4 months ago
- Module initialization/global constructor functions for Rust☆954Dec 4, 2025Updated 2 months ago
- A high performance concurrent caching library for Rust☆2,394Jan 26, 2026Updated 2 weeks ago
- The fast sync and async channel that Rust deserves☆1,689Dec 18, 2025Updated last month
- Defines the Rust borrow checker.☆1,578Jun 6, 2025Updated 8 months ago
- Safe Rust bindings to POSIX-ish APIs☆1,908Dec 23, 2025Updated last month
- Adaptors between compression crates and Rust's async IO types☆614Updated this week
- A curated list of awesome Rust checkers☆64Feb 3, 2026Updated last week
- Futures, streams, and async I/O combinators.☆534Feb 5, 2026Updated last week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,041Updated this week
- Cargo subcommand to provide various options useful for testing and continuous integration.☆800Updated this week
- a debugger for async rust!☆4,403Feb 3, 2026Updated last week
- An embedded key-value database in pure Rust☆4,221Jan 17, 2026Updated 3 weeks ago
- Typed distributed plugin registration☆1,258Jan 21, 2026Updated 3 weeks ago
- Support atomic operations on Arc itself☆1,244Feb 2, 2026Updated last week
- Run Rust lints from dynamic libraries☆531Updated this week