Detect concurrency and memory bugs and possible panic locations in Rust projects
☆590Oct 6, 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,852Feb 20, 2026Updated 8 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,365Apr 2, 2026Updated 6 months ago
- Experiments with structured concurrency in Rust☆438Jul 24, 2024Updated 2 years ago
- A model checker for Rust programs.☆3,604Updated this week
- ☆208Feb 19, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,822Updated this week
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated 2 months ago
- Whole program static stack analysis☆666Oct 28, 2024Updated 2 years ago
- ☆160May 24, 2024Updated 2 years ago
- Refinement Types for Rust☆931Updated this week
- Extremely fast tracing library for Rust☆750Sep 14, 2026Updated last month
- Shuttle is a library for testing concurrent Rust code☆1,108Updated this week
- A fast and flexible LRU map.☆206Jan 3, 2025Updated last year
- Rust async runtime based on io-uring.☆5,128Oct 16, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Heap profiling and ad hoc profiling for Rust programs.☆1,012Feb 20, 2025Updated last year
- A fast bump allocation arena for Rust☆2,358Oct 16, 2026Updated last week
- Analyze Rust crates without touching compiler internals☆463Updated this week
- Generating structured data from arbitrary, unstructured input.☆887Oct 6, 2026Updated 3 weeks ago
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,658Sep 14, 2026Updated last month
- A tracing library 10~100x faster than others.☆1,150Oct 17, 2026Updated last week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,666Aug 31, 2026Updated last month
- Run Rust lints from dynamic libraries☆702Updated this week
- A crate for safe and ergonomic pin-projection.☆722Oct 10, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A hash table with consistent order and fast iteration; access items by key or sequence index☆2,451Sep 5, 2026Updated last month
- A next-generation test runner for Rust.☆3,372Updated this week
- The fast sync and async channel that Rust deserves☆1,768Jul 19, 2026Updated 3 months ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,076May 22, 2026Updated 5 months ago
- A wrapper around Rust futures that stores the future in space provided by the caller.☆314Aug 24, 2026Updated 2 months ago
- Magical Deterministic Simulator for distributed systems in Rust.☆1,179Feb 16, 2026Updated 8 months ago
- Support atomic operations on Arc itself☆1,447Oct 18, 2026Updated last week
- A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.☆226Updated this week
- Library and proc macro to analyze memory usage of data structures in rust.☆220Jun 14, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Link-time initialization, destruction, scattered data collection macros for Rust☆1,094Sep 12, 2026Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆178Jun 7, 2026Updated 4 months ago
- Defines the Rust borrow checker.☆1,757Oct 21, 2026Updated last week
- Cargo subcommand to provide various options useful for testing and continuous integration.☆877Oct 10, 2026Updated 2 weeks ago
- A high performance concurrent caching library for Rust☆2,717Aug 9, 2026Updated 2 months ago
- Manual segmented stacks for Rust☆357Aug 19, 2026Updated 2 months ago
- Zero-copy deserialization framework for Rust☆4,386Sep 25, 2026Updated last month