Lock ordering enforcement at compile time in Rust
☆23Mar 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 11 months ago
- ☆15Apr 14, 2026Updated 2 weeks ago
- 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☆14Dec 11, 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.
- Execute KDL files!☆28Jul 12, 2024Updated last year
- Knowledge management for the impatient☆26Mar 12, 2025Updated last year
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Tag the safety properties of the Rust standard library.☆19Apr 24, 2026Updated last week
- ☆31Jun 25, 2025Updated 10 months ago
- Lending iterators on stable Rust☆85Jan 12, 2024Updated 2 years ago
- Rust crate to get the IANA time zone for the current system☆50Updated this week
- Hybrid typenum/const generic arrays☆21Apr 24, 2026Updated last week
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- 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.
- A prototype notation for referentially stable constructors☆17Jul 15, 2025Updated 9 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Build and runs code in a sandboxed macOS environment☆36Dec 5, 2025Updated 4 months ago
- Convenience wrapper for cargo buildscript input/output☆15Mar 4, 2026Updated 2 months ago
- ☆20Apr 13, 2026Updated 3 weeks ago
- 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 week
- ☆15Dec 8, 2025Updated 4 months ago
- Deadlock free mutexes☆178Mar 30, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust traits for key comparison in maps.☆39Feb 14, 2025Updated last year
- A radioactive stabilization of the ptr_meta RFC.☆41Sep 29, 2025Updated 7 months ago
- A toolkit for volumetric video research☆15Jun 4, 2024Updated last year
- std-alternative prototyping / education library☆12Dec 1, 2025Updated 5 months ago
- Dive into a file's history to find root cause☆67Updated this week
- ☆13Feb 25, 2026Updated 2 months ago
- ☆43Oct 4, 2023Updated 2 years ago
- Rust bindings for libgccjit☆30Jan 30, 2026Updated 3 months ago
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 3 years ago
- Polonius talk at RBR 2019☆14Apr 9, 2021Updated 5 years ago
- A Rust crate that implements "design by contract" via procedural macros☆34Apr 27, 2026Updated last week
- 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
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 3 years ago