A verified library of synchronization primitives and concurrent data structures
☆42Mar 31, 2026Updated last week
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:
- Header-only skip list library for modern C++ (C++17/C++20)☆19Feb 1, 2022Updated 4 years ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A tool to generate ergonomic, buffer-based C++ APIs.☆49Mar 10, 2026Updated last month
- A curated list of awesome Rust checkers☆68Feb 3, 2026Updated 2 months ago
- Benchmarks for locking algorithms as well as implementations of locking algorithms.☆25Mar 6, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Library facilitating safe pinned initialization☆80Apr 4, 2026Updated last week
- Experimental model checker for testing concurrent algorithms☆44Dec 17, 2024Updated last year
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆165Jan 13, 2026Updated 2 months ago
- Transform Doxygen to Rustdoc☆22May 28, 2024Updated last year
- 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
- Repository linking to the software artifacts used for the MigrOS ATC 2021 paper☆18May 31, 2021Updated 4 years ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 12 years ago
- A memory profiler for NVIDIA GPUs to explore memory inefficiencies in GPU-accelerated applications.☆34Oct 13, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- rmem public repo☆49May 21, 2025Updated 10 months ago
- Fallible allocation support for Rust's Vec☆30May 14, 2024Updated last year
- deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses☆29Nov 28, 2025Updated 4 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Graph model execution API for Candle☆17Jul 27, 2025Updated 8 months ago
- Go allocation trace utilities☆15Jan 8, 2021Updated 5 years ago
- Personal knowledge library☆10Nov 9, 2017Updated 8 years ago
- Lock-free RCU (Read-Copy-Update) user-space library☆12Jan 3, 2026Updated 3 months ago
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- c++11 framework for building server☆13Feb 15, 2022Updated 4 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- Parallel high performance C++ containers (set and map)☆16Feb 25, 2024Updated 2 years ago
- 北京大学物理学院课程作业模板☆11Sep 30, 2022Updated 3 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)☆13Jun 20, 2024Updated last year
- Ownership analysis that helps translating C to Rust☆32Nov 25, 2025Updated 4 months ago
- Comfortable lightweight C++ logging library -- cross-platform, C++11.☆29Nov 28, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- https://xuruowei.com 是她的家人朋友们和她的爱人高策为纪念她留下的。徐若薇于 2026 年 2 月 28 日离世。我们希望通过这个时间线纪念她的一生——照片、故事、文字、音乐与她钟爱的一切。沿着她生命的轨迹漫步，重新触摸那些有温度的瞬间。☆28Apr 1, 2026Updated last week
- A high performance C++ concurrent hash map based on OpenMP.☆13Nov 2, 2017Updated 8 years ago
- ☆12Mar 18, 2024Updated 2 years ago
- 2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件☆10Dec 22, 2023Updated 2 years ago
- An implementation of libatomic☆14Dec 12, 2022Updated 3 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 6 years ago