☆18Apr 25, 2017Updated 9 years ago
Alternatives and similar repositories for phxpaxos-annotated
Users that are interested in phxpaxos-annotated are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- C++ network library☆10Apr 14, 2015Updated 11 years ago
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 6 years ago
- RPC framework☆13May 17, 2018Updated 8 years ago
- Keyspace is a consistently replicated, fault-tolerant key-value store.☆46Feb 4, 2011Updated 15 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- multi-master-paxos with 3 nodes☆14Apr 11, 2022Updated 4 years ago
- The Paxos library implemented in C++ that has been used in the WeChat production environment.☆3,371Dec 4, 2023Updated 2 years ago
- jvm讲解☆10Aug 15, 2020Updated 5 years ago
- Yet Another RAFT implementation☆125Oct 12, 2018Updated 7 years ago
- The Redis protocol on top of LevelDB, written in Go (WIP)☆58Jan 4, 2014Updated 12 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 8 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- A distributed filesystem☆10Jan 31, 2017Updated 9 years ago
- Source code for 'Expert MySQL' by Charles Bell☆16Jul 1, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Machine Learning Summer School☆13Mar 21, 2015Updated 11 years ago
- Weighted and unweighted graphs and digraphs with C++☆18Feb 7, 2021Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- 解析 tshark 数据包中的 SQL☆19Oct 11, 2024Updated last year
- A raft consensus implementation that is simply and understandable☆152Jun 24, 2020Updated 5 years ago
- ☆16Nov 9, 2017Updated 8 years ago
- Mirror of Cavium's MySQL branches☆14May 29, 2018Updated 8 years ago
- ☆16Jan 15, 2021Updated 5 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆12Oct 24, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tool to migrate memcache contents from one cluster to another☆12Oct 11, 2017Updated 8 years ago
- database☆11Aug 31, 2018Updated 7 years ago
- ☆11Apr 30, 2013Updated 13 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
- Meniscus - The Python Event Logging Service☆63May 17, 2015Updated 11 years ago
- PaxosStore has been deployed in WeChat production for more than two years, providing storage services for the core businesses of WeChat b…☆1,716Jul 17, 2020Updated 5 years ago
- distributed rate limiter for traffic control☆12Feb 2, 2018Updated 8 years ago
- GLOVE (GL Over Vulkan) is a software library that acts as an intermediate layer between an OpenGL application and Vulkan☆17Sep 7, 2018Updated 7 years ago
- (Unmaintained) Server side program maintains communication channels between server and mobile devices.☆37Nov 29, 2013Updated 12 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Repeatable builds for Lantern, using docker.☆14Mar 7, 2024Updated 2 years ago
- Lua simple socket module (supports Lua 5.2).☆17Jan 30, 2018Updated 8 years ago
- A small little tool for dumping a floating-point number in its native format☆57Jul 8, 2015Updated 10 years ago
- Basic Database System implemented for MDBS course☆13Jun 17, 2014Updated 12 years ago
- ECE 264 Advanced C Programming☆17Apr 10, 2019Updated 7 years ago
- Study Guide for COS 418☆11May 24, 2017Updated 9 years ago
- Classify Traffic Signs.☆10Jan 31, 2017Updated 9 years ago