An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/Synch-Framework/tree/v3.4.0-dev
☆71Apr 12, 2025Updated last year
Alternatives and similar repositories for Synch-Framework
Users that are interested in Synch-Framework are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A persistent key-value store that is embeddable and optimized for fast storage.☆39Jun 3, 2026Updated last month
- ☆10Feb 1, 2023Updated 3 years ago
- Kreon is a key-value store library optimized for flash-based storage☆33Feb 7, 2022Updated 4 years ago
- H3 is an embedded object store in C, Python, and Java☆12Jul 7, 2021Updated 5 years ago
- ☆15May 13, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An efficient distributed key value store for fast storage devices and RDMA networks☆19Jul 25, 2024Updated last year
- RPerf: Accurate Latency Measurement Framework for RDMA☆15Apr 14, 2026Updated 3 months ago
- Fault Tolerance Interface☆41Nov 25, 2022Updated 3 years ago
- ☆17Sep 20, 2021Updated 4 years ago
- The world's first wait-free KV store with generic durable linearizable transactions☆42Feb 26, 2022Updated 4 years ago
- Concurrent Deferred Reference Counting☆174Feb 18, 2024Updated 2 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆176Mar 28, 2024Updated 2 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆21Sep 2, 2016Updated 9 years ago
- Latency Debug compatible LLVM compiler based on LLVM 14☆18Apr 15, 2024Updated 2 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 reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- TeraHeap: Reducing Memory Pressure in Managed Big Data Frameworks☆28Jul 17, 2025Updated last year
- Material for the "CS-548: Cloud-native Software Architectures" postgraduate course☆12Apr 2, 2026Updated 3 months ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 4 years ago
- Persistent Memory Programming book examples☆43Nov 4, 2024Updated last year
- A data race detector for C+Pthreads programs☆13Nov 8, 2022Updated 3 years ago
- ☆12Jan 12, 2018Updated 8 years ago
- Knot provides a complete environment for unleashing your productivity on Kubernetes☆43Jul 17, 2025Updated last year
- ☆14Dec 15, 2022Updated 3 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.
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- Benchmarks for locking algorithms as well as implementations of locking algorithms.☆25Mar 6, 2018Updated 8 years ago
- HPK allows running Kubernetes applications within HPC by translating deployments to Slurm and Singularity/Apptainer☆29Jan 30, 2026Updated 5 months ago
- Java Virtual Machine (JVM) benchmarks to measure the energy consumption under different loads and with different available off-the-shelf …☆25Apr 13, 2025Updated last year
- Understanding the Idiosyncrasies of Real Persistent Memory☆33Aug 18, 2021Updated 4 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆36Jun 8, 2016Updated 10 years ago
- Detect changepoints in time series data☆11Oct 29, 2014Updated 11 years ago
- Scripts to benchmark devices with FIO and generate plots☆32Jan 4, 2021Updated 5 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 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.
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Dec 30, 2023Updated 2 years ago
- ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists…☆185Jan 19, 2018Updated 8 years ago
- ☆11Sep 15, 2024Updated last year
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- FOEDUS main source code repository☆65Jun 26, 2017Updated 9 years ago
- launching and controlling spark on hpc clusters☆23Mar 9, 2026Updated 4 months ago
- A basic log-structured flash datastore☆20Oct 3, 2022Updated 3 years ago