Detect concurrency and memory bugs and possible panic locations in Rust projects
☆588Mar 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for lockbud
Users that are interested in lockbud are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Concurrency permutation testing tool for Rust.☆2,648Feb 20, 2026Updated last month
- A curated list of awesome Rust checkers☆66Feb 3, 2026Updated last month
- Kani Rust Verifier☆2,991Updated this week
- Whole program static stack analysis☆650Oct 28, 2024Updated last year
- Rust Memory Safety & Undefined Behavior Detection☆1,369Mar 9, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆164May 24, 2024Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,753Mar 9, 2026Updated 2 weeks ago
- Experiments with structured concurrency in Rust☆422Jul 24, 2024Updated last year
- ☆209Feb 19, 2024Updated 2 years ago
- Extremely fast tracing library for Rust☆751Jul 23, 2024Updated last year
- Refinement Types for Rust☆843Updated this week
- A next-generation test runner for Rust.☆2,865Updated this week
- Rust async runtime based on io-uring.☆4,917Feb 19, 2026Updated last month
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,537Mar 16, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A crate for safe and ergonomic pin-projection.☆704Mar 12, 2026Updated 2 weeks ago
- A thread-per-core async Rust runtime with IOCP/io_uring/polling.☆1,609Mar 20, 2026Updated last week
- A fast bump allocation arena for Rust☆2,147Feb 26, 2026Updated last month
- A tracing library 10~100x faster than others.☆1,060Mar 2, 2026Updated 3 weeks ago
- Generating structured data from arbitrary, unstructured input.☆855Mar 13, 2026Updated 2 weeks ago
- A fast and flexible LRU map.☆199Jan 3, 2025Updated last year
- Heap profiling and ad hoc profiling for Rust programs.☆942Feb 20, 2025Updated last year
- A safe and fast multi-producer, multi-consumer channel.☆2,980Dec 22, 2025Updated 3 months ago
- Slab allocator for Rust☆886Jan 31, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Magical Deterministic Simulator for distributed systems in Rust.☆1,063Feb 16, 2026Updated last month
- Typed distributed plugin registration☆1,278Feb 19, 2026Updated last month
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,606Feb 9, 2026Updated last month
- The fast sync and async channel that Rust deserves☆1,702Dec 18, 2025Updated 3 months ago
- Defines the Rust borrow checker.☆1,587Jun 6, 2025Updated 9 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆932Mar 16, 2026Updated last week
- Run Rust lints from dynamic libraries☆550Mar 15, 2026Updated last week
- An embedded key-value database in pure Rust☆4,351Mar 18, 2026Updated last week
- Statically-checked alternatives to RefCell and RwLock☆390Sep 17, 2025Updated 6 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,033Sep 23, 2025Updated 6 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,978Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆2,236Updated this week
- A high performance concurrent caching library for Rust☆2,467Updated this week
- Support atomic operations on Arc itself☆1,279Mar 1, 2026Updated 3 weeks ago
- Library and proc macro to analyze memory usage of data structures in rust.☆193Mar 6, 2026Updated 3 weeks ago
- A hash table with consistent order and fast iteration; access items by key or sequence index☆2,316Jan 7, 2026Updated 2 months ago