Find deadlocks in Rust code with Petri net model checking
☆62Nov 3, 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:
- Examples of Solana applications verification with the Certora Prover☆12Jun 11, 2026Updated 4 months ago
- A Rust allocator to trace memory allocations in Rust programs, by intercepting the allocations.☆45Sep 18, 2026Updated last month
- ☆14Oct 30, 2026Updated last week
- ☆15Jul 29, 2025Updated last year
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆591Updated this week
- 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.
- On-Chain Program for the verification of Solana Programs.☆26Apr 7, 2026Updated 6 months ago
- A flexible and efficient binary pattern matching library designed to help you search and match binary data☆16Oct 29, 2025Updated last year
- Cargo subcommand for viewing LLVM optimization remarks.☆209Oct 13, 2025Updated last year
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆48Apr 7, 2026Updated 6 months ago
- Deadlock free mutexes☆176Mar 30, 2025Updated last year
- async time combinators☆25Apr 26, 2026Updated 6 months ago
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- A minimal no_std async runtime for Rust☆22Jan 26, 2026Updated 9 months ago
- A simple spinlock crate based on the abstractions provided by the `lock_api` crate.☆44Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An implementation of "6.824 Lab 1: MapReduce (2021)" in async Rust.☆10Jul 28, 2021Updated 5 years ago
- Visualizes and analyses package dependencies of a Cargo workspace.☆25Jan 24, 2026Updated 9 months ago
- A raytracer written in rust☆13Sep 30, 2023Updated 3 years ago
- POC: Loading windows shared libraries on linux☆19Oct 1, 2026Updated last month
- ☆52Jun 30, 2025Updated last year
- miniserde minus the dependencies☆20Jul 5, 2026Updated 4 months ago
- A reactive kernel for Rust — Signal<T>, Memo<T>, TaskScope.☆12Jul 23, 2026Updated 3 months ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆12Feb 13, 2025Updated last year
- The mock HTTP upstream for development of HTTP applications and reverse proxies.☆23Aug 24, 2023Updated 3 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.
- Immutable types and ImplicitClone trait similar to Copy☆23Nov 24, 2025Updated 11 months ago
- SIMD accelerated CSV parsing in Rust☆11Oct 11, 2026Updated 3 weeks ago
- RustConf 2025 Persentation☆13Aug 25, 2025Updated last year
- CGP-based DSL to build shell-like applications☆52Sep 26, 2026Updated last month
- Proc macro implementation of #[naked]☆33Jun 5, 2023Updated 3 years ago
- A concisemark previewer plugin for neovim☆13Oct 31, 2023Updated 3 years ago
- Extremely minimal parser for ELF/PE/Mach-o/ar☆45Oct 12, 2026Updated 3 weeks ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Small utility library for multi-platform privilege escalation☆39Dec 25, 2025Updated 10 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Rust port of https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html☆22Updated this week
- Binary Ninja Call Graph plugin☆22Apr 20, 2022Updated 4 years ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- Convenience wrapper for cargo buildscript input/output☆16Mar 4, 2026Updated 8 months ago
- Tiny, dead simple, high performance endianness conversions for Rust☆11Sep 7, 2025Updated last year
- A parser for Microsoft PDB (Program Database) debugging information☆25Nov 5, 2024Updated 2 years ago
- ☆15Jul 7, 2022Updated 4 years ago