A verified library of synchronization primitives and concurrent data structures
☆44Mar 31, 2026Updated 5 months ago
Alternatives and similar repositories for libvsync
Users that are interested in libvsync are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verification and optimization tool for concurrent code☆28Jul 29, 2025Updated last year
- Parallel sections library for parallel data-structures☆15Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆207Apr 8, 2026Updated 4 months ago
- Header-only skip list library for modern C++ (C++17/C++20)☆18Feb 1, 2022Updated 4 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 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.
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A tool to generate ergonomic, buffer-based C++ APIs.☆49Aug 25, 2026Updated last week
- A formalization of the RVWMO (RISC-V) memory model☆37Jun 23, 2022Updated 4 years ago
- Experimental model checker for testing concurrent algorithms☆46Aug 1, 2026Updated last month
- Transform Doxygen to Rustdoc☆22May 28, 2024Updated 2 years ago
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- [FAST'25] ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover.☆20Feb 11, 2025Updated last year
- Fallible allocation support for Rust's Vec☆30Jun 11, 2026Updated 2 months ago
- atomic lite - a C++11 atomic operations library for C++98 and later☆16Nov 28, 2025Updated 9 months 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.
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated last week
- Lock-free RCU (Read-Copy-Update) user-space library☆14Jan 3, 2026Updated 7 months ago
- My love.☆28Apr 1, 2026Updated 5 months ago
- c++11 framework for building server☆13Feb 15, 2022Updated 4 years ago
- Go allocation trace utilities☆15Jan 8, 2021Updated 5 years ago
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 years ago
- USTC计算物理A☆10Aug 16, 2021Updated 5 years ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 12 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- Personal knowledge library☆11Nov 9, 2017Updated 8 years ago
- Cpp-Taskflow is a C++ library for managing and scheduling tasks that may be dependent on one another, represented as a DAG (directed acyc…☆13Apr 5, 2023Updated 3 years ago
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆15Jun 20, 2024Updated 2 years ago
- ☆12Apr 22, 2023Updated 3 years ago
- A high performance C++ concurrent hash map based on OpenMP.☆13Nov 2, 2017Updated 8 years ago
- ☆13Mar 18, 2024Updated 2 years ago
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆38Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- JUnit compatible XML reports in Rust☆27Aug 26, 2026Updated last week
- StatisticsView IntelliJ plugin enables logging IDE code browsing activities and shows aggregated statistical information (e.g. accumulate…☆12Aug 16, 2023Updated 3 years ago
- GPU-CR: GPU Checkpoint & Restore☆29Jun 4, 2026Updated 2 months ago
- 2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件☆10Dec 22, 2023Updated 2 years ago
- An implementation of libatomic☆15Dec 12, 2022Updated 3 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- Header-only C++ libraries☆19Feb 10, 2025Updated last year