A verified library of synchronization primitives and concurrent data structures
☆44Mar 31, 2026Updated 7 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
- A verification tool for many memory models☆129Updated this week
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆226Oct 31, 2026Updated last week
- Header-only skip list library for modern C++ (C++17/C++20)☆18Feb 1, 2022Updated 4 years ago
- 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.
- A tool to generate ergonomic, buffer-based C++ APIs.☆49Oct 20, 2026Updated 2 weeks ago
- A formalization of the RVWMO (RISC-V) memory model☆38Jun 23, 2022Updated 4 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 4 years ago
- A utility that locates the active Java installation in the host.☆14Jan 31, 2025Updated last year
- Benchmarks for locking algorithms as well as implementations of locking algorithms.☆26Mar 6, 2018Updated 8 years ago
- ☆16Updated this week
- [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 5 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- 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.
- lock-free malloc implementation☆14Dec 13, 2010Updated 15 years ago
- [Accepted to SOSP 2026] Fast Deterministic LLM Inference☆33Oct 29, 2026Updated last week
- A curated list of awesome Rust checkers☆70Aug 22, 2026Updated 2 months ago
- A slab allocator with stable references☆15Jan 23, 2023Updated 3 years ago
- 中文编码字符集GB18030-2022规范文档、代码实现。☆11May 30, 2025Updated last year
- C++ implementation of mustache template engine with support for RapidJSON☆10Jun 7, 2019Updated 7 years ago
- My love.☆28Apr 1, 2026Updated 7 months ago
- USTC计算物理A☆10Aug 16, 2021Updated 5 years ago
- Library facilitating safe pinned initialization☆92Oct 22, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆100Updated this week
- Lock-free RCU (Read-Copy-Update) user-space library☆14Jan 3, 2026Updated 10 months ago
- Examples of Solana applications verification with the Certora Prover☆12Jun 11, 2026Updated 4 months ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆316Updated this week
- Yet another Linux-like kernel in Rust—fully AI-generated.Full POSIX & Linux ABI compatible: run any Linux binary directly, no recompile.N…☆17Updated this week
- Graph model execution API for Candle☆19Jul 27, 2025Updated last year
- c++11 framework for building server☆13Feb 15, 2022Updated 4 years ago
- A prototype implementation of the futures proposal☆12Jul 13, 2018Updated 8 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- ☆12Apr 23, 2021Updated 5 years ago
- Fused SwiGLU Triton kernels☆15Jan 25, 2024Updated 2 years ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆12Feb 13, 2025Updated last year
- A eBPF framework to prevent discovered error from being triggered☆10Aug 10, 2023Updated 3 years ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 12 years ago
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆15Jun 20, 2024Updated 2 years ago