☆188Feb 12, 2018Updated 8 years ago
Alternatives and similar repositories for alice
Users that are interested in alice are comparing it to the libraries listed below
Sorting:
- File-system fault injection framework for distributed storage systems☆68Oct 29, 2018Updated 7 years ago
- a tool to explore unexpected behaviors of file system.☆19Jan 11, 2017Updated 9 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆207Oct 1, 2022Updated 3 years ago
- Implementation of Adaptive Radix Tree in Rust☆44Feb 26, 2020Updated 6 years ago
- A fast linearizability checker written in Go 🔎☆1,150Feb 10, 2026Updated 3 weeks ago
- ☆29May 6, 2022Updated 3 years ago
- the code that powers Wikicoding, the wikipedia of code.☆11Apr 5, 2017Updated 8 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Nov 14, 2016Updated 9 years ago
- Stand-alone Distributed System, test distributed system on localhost.☆31Apr 23, 2014Updated 11 years ago
- ☆17Nov 27, 2018Updated 7 years ago
- WiscSee tells if you are using SSDs in the right way.☆49Apr 3, 2018Updated 7 years ago
- Generate a Go file with the output of compile time shell commands☆19May 17, 2021Updated 4 years ago
- fixed-length integer trim☆35Mar 20, 2023Updated 2 years ago
- Write-ahead log in Golang☆41Feb 17, 2022Updated 4 years ago
- Source for SibylFS model and test tools☆37Dec 23, 2020Updated 5 years ago
- Forwards HTTP requests to multiple endpoints☆10Aug 22, 2017Updated 8 years ago
- Fast linearizability checker☆67Jun 16, 2015Updated 10 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Turn an arbitrary command into a Kubernetes Key Management Service GRPC server☆15Apr 4, 2018Updated 7 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- ocpjbod is an enclosure management tool that controls some OCP storage enclosure, like Open Vault (Knox).☆12Oct 15, 2018Updated 7 years ago
- In memory TPC-C implementation. Used for a number of database research projects.☆39Sep 27, 2020Updated 5 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 10 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Morton order page index for multidimensional arrays☆12Jul 18, 2013Updated 12 years ago
- IOManager tries to bridge the gap in existing async framework to build full async networked database/storage/keyvalue storage☆11Feb 7, 2026Updated last month
- ☆12Jul 17, 2018Updated 7 years ago
- ☆11Sep 21, 2018Updated 7 years ago
- A fast binary log for Go applications☆27Mar 1, 2023Updated 3 years ago
- A project to implement Augmented Time☆50May 2, 2014Updated 11 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Rust library for testing code relying on the global allocator☆13Mar 20, 2024Updated last year
- An HTTP multiplexer / middleware router for Go☆16Sep 25, 2016Updated 9 years ago
- Pluggable platform for data delivery☆15Feb 17, 2018Updated 8 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated 11 months ago
- Scylla lightweight transactions demo☆12Jul 21, 2020Updated 5 years ago
- ☆10Aug 25, 2017Updated 8 years ago
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago