GitHub repository: H1ghBre4k3r/higher-order-locks
Primary language: Rust
Created: 2024-11-13T22:56:16Z
Description: Implementation of the paper "Higher-OrderLeak and DeadlockFree Locks" in Rust 🦀