☆17Sep 20, 2021Updated 4 years ago
Alternatives and similar repositories for avocado
Users that are interested in avocado are comparing it to the libraries listed below
Sorting:
- ☆15May 13, 2022Updated 3 years ago
- sgx-based encrypted deduplication prototype☆14May 14, 2021Updated 4 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Feb 11, 2022Updated 4 years ago
- Description: source code of the OPTEE_OS for NVIDIA Jetson Linux☆12Jan 12, 2023Updated 3 years ago
- A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels☆19Jun 17, 2015Updated 10 years ago
- RPerf: Accurate Latency Measurement Framework for RDMA☆15Sep 24, 2025Updated 5 months ago
- Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…☆16Jan 7, 2022Updated 4 years 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 3 years ago
- ☆21Jun 24, 2021Updated 4 years ago
- ☆27Jul 4, 2024Updated last year
- An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…☆70Apr 12, 2025Updated 10 months ago
- A persistent key-value store that is embeddable and optimized for fast storage.☆36Oct 24, 2024Updated last year
- ☆30Aug 16, 2024Updated last year
- An Oblivious General-Purpose SQL Database for the Cloud☆59Jun 30, 2020Updated 5 years ago
- ☆36Jan 27, 2018Updated 8 years ago
- Analysis for the traces from byteprofile☆32Nov 21, 2023Updated 2 years ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆94Aug 13, 2025Updated 6 months ago
- ☆34Aug 1, 2025Updated 7 months ago
- A simple script to plot the Roofline model for given HW platforms and applications☆10Aug 22, 2024Updated last year
- ☆10Jan 31, 2022Updated 4 years ago
- ☆10Jan 11, 2024Updated 2 years ago
- LITS: An Optimized Learned Index for Strings☆13Jun 18, 2025Updated 8 months ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- A Gephi plugin for community detection in dynamic networks☆12Jan 14, 2014Updated 12 years ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- ☆41Sep 19, 2023Updated 2 years ago
- ☆40Nov 28, 2022Updated 3 years ago
- A curated list of SGX code and resources.☆246May 27, 2024Updated last year
- flex & bison (Lexical Analysis and Parsing)☆11May 18, 2018Updated 7 years ago
- 不围棋c语言实现，大一大作业，关键算法是判断围棋中的气☆10Aug 14, 2020Updated 5 years ago
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆11May 17, 2025Updated 9 months ago
- Super efficient TCP connection between remote processes☆12Apr 7, 2016Updated 9 years ago
- A set of platform agnostic to measure the performance of various BPF helper functions☆10Sep 11, 2023Updated 2 years ago
- Disco Stochastic Network Calculator☆10Aug 15, 2017Updated 8 years ago
- NVMesh Container Storage Interface (CSI) Driver for Kubernetes☆11Oct 7, 2024Updated last year
- A straightforward (complete) sample of how to implement AES-GCM by using Linux crypto API at kernel side☆12Oct 6, 2022Updated 3 years ago
- ☆11Oct 21, 2024Updated last year
- ☆14Mar 10, 2025Updated 11 months ago