☆18Apr 25, 2017Updated 8 years ago
Alternatives and similar repositories for phxpaxos-annotated
Users that are interested in phxpaxos-annotated are comparing it to the libraries listed below
Sorting:
- C++ network library☆10Apr 14, 2015Updated 10 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- Keyspace is a consistently replicated, fault-tolerant key-value store.☆46Feb 4, 2011Updated 15 years ago
- Yet Another RAFT implementation☆126Oct 12, 2018Updated 7 years ago
- Baidu 100G Chasiss Switch hardware spec☆12Sep 20, 2017Updated 8 years ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- The Paxos library implemented in C++ that has been used in the WeChat production environment.☆3,376Dec 4, 2023Updated 2 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 7 years ago
- Debian packages for Kyoto Cabinet, a fast database library☆17Mar 8, 2011Updated 14 years ago
- Fully emulates D's scope guard statement feature via C++17's std::uncaught_exceptions() with no dynamic memory allocation and terse synta…☆19Mar 15, 2018Updated 7 years ago
- A simple tool to help me run fio benchmark☆11Jun 27, 2018Updated 7 years ago
- The Redis protocol on top of LevelDB, written in Go (WIP)☆58Jan 4, 2014Updated 12 years ago
- rocketmq source code comments☆10Jun 29, 2022Updated 3 years ago
- A distributed filesystem☆10Jan 31, 2017Updated 9 years ago
- Java implementation of a mini Spark-like framework named MiniSpark that can run on top of a HDFS cluster. MiniSpark supports operators in…☆37Jul 28, 2017Updated 8 years ago
- ECE 264 Advanced C Programming☆17Apr 10, 2019Updated 6 years ago
- (Unmaintained) Server side program maintains communication channels between server and mobile devices.☆37Nov 29, 2013Updated 12 years ago
- Beaker caching / session plugin for MongoDB☆21Jan 21, 2011Updated 15 years ago
- Meniscus - The Python Event Logging Service☆65May 17, 2015Updated 10 years ago
- Course Project COP6726-Database System Implementation☆13Apr 12, 2014Updated 11 years ago
- Classify Traffic Signs.☆10Jan 31, 2017Updated 9 years ago
- System Programming☆11Nov 9, 2018Updated 7 years ago
- database☆11Aug 31, 2018Updated 7 years ago
- Tiny语言编译器☆11Sep 2, 2023Updated 2 years ago
- ☆12Jun 14, 2020Updated 5 years ago
- multi-master-paxos with 3 nodes☆14Apr 11, 2022Updated 3 years ago
- paper notes on nlp/cv/rl/dl☆14May 15, 2017Updated 8 years ago
- CMU 15-213 Introduction to Computer Systems☆11Mar 28, 2015Updated 10 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆12Oct 24, 2016Updated 9 years ago
- ☆11Apr 30, 2013Updated 12 years ago
- A fast multi-producer, multi-consumer lock-free concurrent queue for C++11☆10May 25, 2015Updated 10 years ago
- Repeatable builds for Lantern, using docker.☆14Mar 7, 2024Updated 2 years ago
- Analyzing C/C++ matrix in the gdb debugger with Python and Numpy☆14May 2, 2015Updated 10 years ago
- SPDK fork of nvme-cli. No longer supported - use standard nvme-cli with SPDK nvme CUSE instead. See https://spdk.io/doc/nvme.html#nvme_…☆15Apr 10, 2024Updated last year
- ☆14Nov 9, 2017Updated 8 years ago
- A simple teaching DBMS☆15Jul 22, 2025Updated 7 months ago
- Basic Database System implemented for MDBS course☆13Jun 17, 2014Updated 11 years ago
- TensorFlow implementation of CapsNet☆10Apr 3, 2020Updated 5 years ago
- chiTCP - A simple, testable TCP stack☆17Nov 15, 2024Updated last year