A verified library of synchronization primitives and concurrent data structures
☆42Feb 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for libvsync
Users that are interested in libvsync are comparing it to the libraries listed below
Sorting:
- Verification and optimization tool for concurrent code☆27Jul 29, 2025Updated 7 months ago
- 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
- [FAST'25] ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover.☆20Feb 11, 2025Updated last year
- A curated list of awesome Rust checkers☆64Feb 3, 2026Updated 3 weeks ago
- A tool to generate ergonomic, buffer-based C++ APIs.☆49Jan 31, 2026Updated last month
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆158Jan 13, 2026Updated last month
- Library facilitating safe pinned initialization☆79Updated this week
- A memory profiler for NVIDIA GPUs to explore memory inefficiencies in GPU-accelerated applications.☆27Oct 13, 2024Updated last year
- Ownership analysis that helps translating C to Rust☆31Nov 25, 2025Updated 3 months ago
- Go library to help with Nitro Attestation☆16May 30, 2025Updated 9 months ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 11 years ago
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆13Jun 20, 2024Updated last year
- StatisticsView IntelliJ plugin enables logging IDE code browsing activities and shows aggregated statistical information (e.g. accumulate…☆12Aug 16, 2023Updated 2 years ago
- Terminate AV/EDR processes by exploiting the vulnerable NsecSoft driver☆33Sep 15, 2025Updated 5 months ago
- Coroutine implementation for C++11☆18Apr 14, 2012Updated 13 years ago
- A survey of manufacturer-provided DRAM operating parameters and timings as specified by DRAM chip datasheets from between 1970 and 2021. …☆11May 4, 2022Updated 3 years ago
- C++ encoder and decoder for FIX/FAST protocol (http://www.fixtradingcommunity.org/pg/structure/tech-specs/fast-protocol) without compress…☆10Oct 31, 2016Updated 9 years ago
- QQ 群验证机器人☆10Nov 9, 2021Updated 4 years ago
- Abstractions for iterating and mapping over struct fields☆17Jan 15, 2026Updated last month
- 首届社交群体智能算法大赛 【赛题1：社交媒体舆论场虚假 账号检测】第三名(0.8248)方案☆11May 30, 2024Updated last year
- ☆13Feb 2, 2021Updated 5 years ago
- ☆12Apr 22, 2023Updated 2 years ago
- ☆12Mar 18, 2024Updated last year
- Subgraph for Curve.fi☆10Mar 20, 2021Updated 4 years ago
- Research paper list for host networking: in a system view☆10Jan 2, 2025Updated last year
- Biteasy Blockchain REST API☆18Mar 28, 2014Updated 11 years ago
- C programs for sockets, reverse shell, shellcode execution, and process injection.☆25Dec 10, 2025Updated 2 months ago
- DEPRECATED: Merged with ethcore/parity☆11Jul 18, 2016Updated 9 years ago
- Execute Shellcode And Other Goodies From MMC☆13Jun 17, 2015Updated 10 years ago
- A dependency free native implementation of Ethereum crypto functions missing from WebCrypto.☆16Updated this week
- Example Optimized Gas ERC721 Minting Contract☆11Dec 28, 2021Updated 4 years ago
- A Tmux plug-in that can automatically generate countless charming themes and support a high degree of customization, bringing the most wo…☆15Dec 21, 2025Updated 2 months ago
- ☆12Oct 16, 2021Updated 4 years ago
- libsmctrl论文的复现，添加了python端接口，可以在python端灵活调用接口来分配计算资源☆12May 21, 2024Updated last year
- 北京大学物理学院课程作业模板☆11Sep 30, 2022Updated 3 years ago
- 2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件☆10Dec 22, 2023Updated 2 years ago
- ☆11Aug 24, 2023Updated 2 years ago