Raft Consensus Algorithm Implementation in C++ (11)
☆25Nov 23, 2014Updated 11 years ago
Alternatives and similar repositories for cpp-raft
Users that are interested in cpp-raft are comparing it to the libraries listed below
Sorting:
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- ☆51Mar 13, 2024Updated 2 years ago
- C++ raft lib☆138Aug 8, 2022Updated 3 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Nov 3, 2020Updated 5 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- 🔪Mx-Star Compiler Project☆14May 16, 2020Updated 5 years ago
- Storage algorithms.☆38Feb 10, 2021Updated 5 years ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 9 years ago
- A high-performance coordination service for write-intensive workloads.☆87Aug 9, 2019Updated 6 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago
- Nuft is an C++17 implementation of the Raft consensus algorithm.☆26Apr 12, 2022Updated 3 years ago
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆36Jul 24, 2011Updated 14 years ago
- C++ implementation of raft consensus☆271May 12, 2023Updated 2 years ago
- C++ application providing a cross platform way of creating a Windows Service or a Linux Daemon.☆14Aug 11, 2015Updated 10 years ago
- A RISC-V simulator☆38Aug 27, 2023Updated 2 years ago
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 7 years ago
- Generate QR codes in UNIX way☆12Aug 5, 2019Updated 6 years ago
- Easy handling of memory-mapped files☆22Mar 28, 2014Updated 11 years ago
- Concurrent trie-hash map library☆95Oct 30, 2023Updated 2 years ago
- Sancho McCann's PhD Thesis Research Code☆25Oct 12, 2017Updated 8 years ago
- SUccinct Retrieval Framework☆21Jan 24, 2016Updated 10 years ago
- lecture notes of probability notes☆17Jul 7, 2020Updated 5 years ago
- Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDA…☆10Oct 22, 2016Updated 9 years ago
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 10 years ago
- Help Rather Than Recycle: Alleviating Cold Startup in Serverless Computing Through Inter-Function Container Sharing☆50Jun 5, 2022Updated 3 years ago
- Perfect Hash Functions☆18Feb 27, 2015Updated 11 years ago
- Querypoint Debugging Prototype☆43Feb 8, 2019Updated 7 years ago
- Random collections of my interested research papers / projects☆20May 20, 2021Updated 4 years ago
- ☆11Aug 1, 2021Updated 4 years ago
- A simple kickstarter clone, for internal project bounties and backing.☆39May 8, 2015Updated 10 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Nov 17, 2017Updated 8 years ago
- ☆13Sep 3, 2019Updated 6 years ago
- A high-performance, memory-efficient concurrent hash table☆36Oct 5, 2013Updated 12 years ago
- Homework on the specialization of Cloud Computing☆13Oct 23, 2018Updated 7 years ago
- Fortuna library functions extracted from PostgreSQL source☆15Apr 27, 2015Updated 10 years ago