Alternatives and similar repositories for relacy

Users that are interested in relacy are comparing it to the libraries listed below

• ucf-cs / tlds

  View on GitHub
  Lock-free Transactions without Rollbacks for Linked Data Structures
  ☆23Sep 1, 2022Updated 3 years ago
• computersforpeace / model-checker

  View on GitHub
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆38Sep 4, 2013Updated 12 years ago
• mpoeter / xenium

  View on GitHub
  A C++ library providing various concurrent data structures and reclamation schemes.
  ☆634Aug 7, 2025Updated 6 months ago
• olibre / B-Queue

  View on GitHub
  An efficient and practical queueing for fast core-to-core communication http://psy-lob-saw.blogspot.co.uk/2013/11/spsc-iv-look-at-bqueue.…
  ☆21Apr 27, 2017Updated 8 years ago
• concurrencykit / ck

  View on GitHub
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,607Updated this week
• seanmiddleditch / jobxx

  View on GitHub
  Lightweight C++ task system
  ☆82Aug 2, 2017Updated 8 years ago
• preshing / turf

  View on GitHub
  Configurable C++ platform adapter
  ☆559Feb 14, 2019Updated 7 years ago
• Feoramund / ucg

  View on GitHub
  UTF-8 grapheme counting library written in C99.
  ☆18Jun 30, 2024Updated last year
• stlab / stlab

  View on GitHub
  ASL libraries will be migrated here in the stlab namespace, new libraries will be created here.
  ☆676Dec 20, 2025Updated last month
• khizmax / libcds

  View on GitHub
  A C++ library of Concurrent Data Structures
  ☆2,729Oct 17, 2023Updated 2 years ago
• denniskb / precond

  View on GitHub
  Explicit preconditions for function parameters
  ☆16Aug 10, 2023Updated 2 years ago
• asomers / tokio-file

  View on GitHub
  Asynchronous file I/O for Tokio
  ☆48Jun 14, 2025Updated 7 months ago
• schani / linbin

  View on GitHub
  Linear vs binary search benchmark
  ☆41Dec 12, 2019Updated 6 years ago
• preshing / junction

  View on GitHub
  Concurrent data structures in C++
  ☆1,447Oct 1, 2020Updated 5 years ago
• herd / herdtools7

  View on GitHub
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆289Updated this week
• thomasmueller / xorfilter_cpp

  View on GitHub
  Bloom filter alternative (C++)
  ☆18Nov 8, 2018Updated 7 years ago
• gramoli / synchrobench

  View on GitHub
  A benchmark to compare synchronization techniques for multicore programming
  ☆348Jul 3, 2025Updated 7 months ago
• david-grs / geiger

  View on GitHub
  C++ micro benchmark library
  ☆98Mar 1, 2017Updated 8 years ago
• dvyukov / gosmith

  View on GitHub
  Automatically exported from code.google.com/p/gosmith
  ☆53Nov 16, 2015Updated 10 years ago
• hsutter / gcpp

  View on GitHub
  Experimental deferred and unordered destruction library for C++
  ☆914May 16, 2019Updated 6 years ago
• plasma-umass / Mesh

  View on GitHub
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,846Feb 6, 2026Updated last week
• nidhugg / nidhugg

  View on GitHub
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆90Dec 6, 2025Updated 2 months ago
• thanm / dragongo

  View on GitHub
  LLVM IR generation "middle end" for LLVM-based go compiler.
  ☆18Oct 11, 2022Updated 3 years ago
• pramalhe / ConcurrencyFreaks

  View on GitHub
  ☆444Oct 25, 2025Updated 3 months ago
• ucf-cs / Tervel

  View on GitHub
  Fast wait-free algorithms designed for shared memory systems
  ☆45May 4, 2018Updated 7 years ago
• stlab / adobe_source_libraries

  View on GitHub
  Adobe Source Libraries
  ☆291Feb 6, 2026Updated last week
• edouarda / brigand

  View on GitHub
  Instant compile time C++ 11 metaprogramming library
  ☆573Sep 7, 2022Updated 3 years ago
• rigtorp / MPMCQueue

  View on GitHub
  A bounded multi-producer multi-consumer concurrent queue written in C++11
  ☆1,475Mar 8, 2024Updated last year
• facebookexperimental / libunifex

  View on GitHub
  Unified Executors
  ☆1,683Feb 6, 2026Updated last week
• cameron314 / readerwriterqueue

  View on GitHub
  A fast single-producer, single-consumer lock-free queue for C++
  ☆4,482Jun 25, 2025Updated 7 months ago
• david-grs / static_any

  View on GitHub
  generic stack-based container
  ☆110Feb 23, 2018Updated 7 years ago
• crossbeam-rs / crossbeam-deque

  View on GitHub
  Concurrent work-stealing deque
  ☆48Nov 5, 2018Updated 7 years ago
• AlisdairO / concurrent-hash-map

  View on GitHub
  Concurrent hash map for Rust
  ☆17Sep 18, 2016Updated 9 years ago
• mattreecebentley / plf_colony

  View on GitHub
  An unordered C++ data container providing fast iteration/insertion/erasure while maintaining pointer/iterator validity to non-erased elem…
  ☆485Jan 2, 2026Updated last month
• bluescan / tacent

  View on GitHub
  A C++ library implementing linear algebra, text and file IO, UTF-N conversions, containers, image loading/saving, image quantization/filt…
  ☆68Dec 7, 2025Updated 2 months ago
• technik / gideon

  View on GitHub
  Pathtracer pet project. Follow the interesting bits of its development in my blog.
  ☆11Oct 4, 2023Updated 2 years ago
• urcu / userspace-rcu

  View on GitHub
  This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace R…
  ☆719Jan 26, 2026Updated 2 weeks ago
• milianw / how-to-write-a-memory-profiler

  View on GitHub
  CppCon 2019 Talk: slides and source code
  ☆48Sep 27, 2019Updated 6 years ago
• RichieSams / FiberTaskingLib

  View on GitHub
  A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
  ☆978Mar 21, 2025Updated 10 months ago