chenneal / phxpaxos-annotatedView external linksLinks
☆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,379Dec 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
- ECE 264 Advanced C Programming☆17Apr 10, 2019Updated 6 years ago
- Meniscus - The Python Event Logging Service☆65May 17, 2015Updated 10 years ago
- rocketmq source code comments☆10Jun 29, 2022Updated 3 years ago
- (Unmaintained) Server side program maintains communication channels between server and mobile devices.☆37Nov 29, 2013Updated 12 years ago
- The Redis protocol on top of LevelDB, written in Go (WIP)☆58Jan 4, 2014Updated 12 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
- Study Guide for COS 418☆11May 24, 2017Updated 8 years ago
- A multi-thread http daemon based on C++11☆14Jan 27, 2018Updated 8 years ago
- A simple tool to help me run fio benchmark☆11Jun 27, 2018Updated 7 years ago
- multi-master-paxos with 3 nodes☆13Apr 11, 2022Updated 3 years ago
- Tiny语言编译器☆11Sep 2, 2023Updated 2 years ago
- Course Project COP6726-Database System Implementation☆13Apr 12, 2014Updated 11 years ago
- ☆12Jun 14, 2020Updated 5 years ago
- System Programming☆11Nov 9, 2018Updated 7 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 5 years ago
- Internal implementation of InnoDB☆47Jun 26, 2016Updated 9 years ago
- chiTCP - A simple, testable TCP stack☆16Nov 15, 2024Updated last year
- 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
- Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To cont…☆10Nov 17, 2024Updated last year
- A simple teaching DBMS☆15Jul 22, 2025Updated 6 months ago
- ☆11Apr 30, 2013Updated 12 years ago
- CMU 15-213 Introduction to Computer Systems☆11Mar 28, 2015Updated 10 years ago
- paper notes on nlp/cv/rl/dl☆14May 15, 2017Updated 8 years ago
- Analyzing C/C++ matrix in the gdb debugger with Python and Numpy☆14May 2, 2015Updated 10 years ago
- A GPU triangle mesh voxelizer using the geometry shader.☆13Dec 24, 2015Updated 10 years ago
- TensorFlow implementation of CapsNet☆10Apr 3, 2020Updated 5 years ago
- ☆14Jan 14, 2020Updated 6 years ago
- Lightweight non-locking thread pool for multi-threading work jobs☆13May 23, 2016Updated 9 years ago
- 通过手写一个简单的RPC框架，学习RPC、分布式服务化关键技术☆12Dec 26, 2020Updated 5 years ago