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 10 months ago
- ☆15Mar 19, 2026Updated 3 weeks ago
- Flask-Rebar Authenticator for Auth0☆13Jan 13, 2023Updated 3 years ago
- A Rust library providing a tri-state type for representing value presence in schemas and data structures.☆33Jan 2, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- 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
- Graphical systemd UI tools☆22Jul 16, 2025Updated 8 months ago
- ☆32Jun 25, 2025Updated 9 months ago
- Lending iterators on stable Rust☆85Jan 12, 2024Updated 2 years ago
- Hybrid typenum/const generic arrays☆20Apr 6, 2026Updated last week
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A prototype notation for referentially stable constructors☆17Jul 15, 2025Updated 8 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 last month
- ☆20Feb 9, 2026Updated 2 months ago
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆18Mar 3, 2026Updated last month
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- ☆15Dec 8, 2025Updated 4 months ago
- Deadlock free mutexes☆177Mar 30, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust traits for key comparison in maps.☆39Feb 14, 2025Updated last year
- A radioactive stabilization of the ptr_meta RFC.☆41Sep 29, 2025Updated 6 months ago
- Dive into a file's history to find root cause☆67Apr 1, 2026Updated last week
- A Rust crate that implements "design by contract" via procedural macros☆31Apr 6, 2026Updated last week
- ☆13Feb 25, 2026Updated last month
- ☆42Oct 4, 2023Updated 2 years ago
- Rust bindings for libgccjit☆29Jan 30, 2026Updated 2 months ago
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated last year
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 3 years 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.
- Polonius talk at RBR 2019☆14Apr 9, 2021Updated 5 years ago
- cursed☆14Mar 19, 2023Updated 3 years ago
- libyaml transpiled to rust by c2rust☆35Mar 21, 2024Updated 2 years ago
- Declarative install for programs☆33Apr 21, 2024Updated last year
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- ☆17Dec 24, 2025Updated 3 months ago