Find deadlocks in Rust code with Petri net model checking
☆59Jun 23, 2026Updated this week
Alternatives and similar repositories for cargo-check-deadlock
Users that are interested in cargo-check-deadlock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Rust allocator to trace memory allocations in Rust programs, by intercepting the allocations.☆43Dec 21, 2025Updated 6 months ago
- A raytracer written in rust☆13Sep 30, 2023Updated 2 years ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Load and resolve Cargo configuration.☆21Jun 13, 2026Updated 2 weeks ago
- Convenience wrapper for cargo buildscript input/output☆15Mar 4, 2026Updated 3 months 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.
- CLI utility that helps you to calculate indices into the page table from a virtual address. For x86, it outputs the indices into the page…☆25Jun 1, 2026Updated 3 weeks ago
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆590May 15, 2026Updated last month
- Run pkg-config from declarative dependencies in Cargo.toml☆108May 14, 2026Updated last month
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆19Updated this week
- A simple spinlock crate based on the abstractions provided by the `lock_api` crate.☆44Feb 20, 2026Updated 4 months ago
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated 2 years ago
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Apr 22, 2026Updated 2 months 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.
- Cargo subcommand for viewing LLVM optimization remarks.☆206Oct 13, 2025Updated 8 months ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆39Apr 7, 2026Updated 2 months ago
- A Rust crate that implements "design by contract" via procedural macros☆37Updated this week
- Proc macro implementation of #[naked]☆33Jun 5, 2023Updated 3 years ago
- Allows for proper and easy handling of volatile memory☆44May 15, 2024Updated 2 years ago
- ☆12Feb 15, 2023Updated 3 years ago
- ☆21Oct 20, 2023Updated 2 years ago
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Jul 30, 2022Updated 3 years ago
- A Rust library for offset based pointers that enable movable self-referential data structures.☆62Sep 25, 2025Updated 9 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.
- Generic Associated Types lang team initiative☆13Jan 25, 2023Updated 3 years ago
- A tool to help with minimization of Rust code☆70Oct 17, 2025Updated 8 months ago
- ☆76Feb 27, 2024Updated 2 years ago
- Prost support for protoc-gen-validate annotations☆37Nov 26, 2025Updated 7 months ago
- Imitate the documentation build that docs.rs would do☆78Jun 20, 2026Updated last week
- ☆13Mar 7, 2024Updated 2 years ago
- A desktop transcription software☆16Updated this week
- A command line interface that converts between JSON and MessagePack☆19Mar 13, 2024Updated 2 years ago
- Graph model execution API for Candle☆18Jul 27, 2025Updated 11 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.
- A GPT Implementation in Rust on top of tch-rs 🔥 🦀☆57May 13, 2025Updated last year
- Simple translation from godoc to markdown.☆13Jun 28, 2019Updated 7 years ago
- 🦀 A browser extension to explore rust cargo dependencies on GitHub repos☆24Jun 17, 2022Updated 4 years ago
- Space Efficient Pretty Printer☆17Apr 15, 2022Updated 4 years ago
- A GUI application for testing GRPC services☆18Nov 20, 2023Updated 2 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- A simple and lightweight Cargo plugin for using nFPM from any Rust project.☆25Jun 10, 2026Updated 2 weeks ago