Lock ordering enforcement at compile time in Rust
☆24Mar 17, 2025Updated last year
Alternatives and similar repositories for lock-ordering
Users that are interested in lock-ordering are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Nov 16, 2020Updated 5 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated last year
- Flask-Rebar Authenticator for Auth0☆13Jan 13, 2023Updated 3 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Execute KDL files!☆28Jul 12, 2024Updated last year
- 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 study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- nftables based implementation of the Proxmox VE firewall, written in rust☆14May 20, 2026Updated 3 weeks ago
- Tag the safety properties of the Rust standard library.☆20Apr 24, 2026Updated last month
- Hybrid typenum/const generic arrays☆23Updated this week
- Lending iterators on stable Rust☆88Jan 12, 2024Updated 2 years ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- A prototype notation for referentially stable constructors☆17Jul 15, 2025Updated 10 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Build and runs code in a sandboxed macOS environment☆37Dec 5, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Convenience wrapper for cargo buildscript input/output☆15Mar 4, 2026Updated 3 months ago
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆19May 5, 2026Updated last month
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Apr 22, 2026Updated last month
- ☆15Dec 8, 2025Updated 6 months ago
- Deadlock free mutexes☆178Mar 30, 2025Updated last year
- Rust traits for key comparison in maps.☆41Feb 14, 2025Updated last year
- A toolkit for volumetric video research☆15Jun 4, 2024Updated 2 years ago
- std-alternative prototyping / education library☆12Dec 1, 2025Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Dive into a file's history to find root cause☆67Jun 1, 2026Updated last week
- ☆13Feb 25, 2026Updated 3 months ago
- ☆43Oct 4, 2023Updated 2 years ago
- A simple chrome extension that creates a BibTeX entry for the URL in the current tab. Tab's title and url are automatically copied to be …☆15May 1, 2026Updated last month
- Rust bindings for libgccjit☆30Jan 30, 2026Updated 4 months ago
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated 2 years ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- Polonius talk at RBR 2019☆14Apr 9, 2021Updated 5 years ago
- A Rust crate that implements "design by contract" via procedural macros☆36Jun 2, 2026Updated last week
- 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.
- cursed☆14Mar 19, 2023Updated 3 years ago
- Declarative install for programs☆34Apr 21, 2024Updated 2 years ago
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- ☆17Dec 24, 2025Updated 5 months ago
- Experiments with safe DMA abstractions in Rust☆18Sep 17, 2020Updated 5 years ago
- A curated list of awesome Nexus tools, libraries guides, blogs, and other resources☆10May 4, 2021Updated 5 years ago
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago