A Paxos implementation in C originally by Marco Primi, built on top of libevent
☆35Jul 24, 2011Updated 14 years ago
Alternatives and similar repositories for libpaxos2
Users that are interested in libpaxos2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- libpaxos的注释版本☆34Aug 25, 2014Updated 11 years ago
- A coroutine scheduler and lightweight network library for libaco☆18Apr 1, 2019Updated 7 years ago
- Transparent Paxos☆45Jun 5, 2019Updated 7 years ago
- ☆11Jun 15, 2018Updated 8 years ago
- avoid annoying declared and not used☆10Mar 8, 2016Updated 10 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.
- agentzh's fork of Russ Cox's re1 toy regex library☆19Jan 31, 2013Updated 13 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Nov 23, 2014Updated 11 years ago
- Hardware abstraction layer for HackRF software-defined radio☆15Feb 4, 2017Updated 9 years ago
- Project to build third-party dependencies of Nebula Graph☆19Mar 17, 2026Updated 3 months ago
- Automatically exported from code.google.com/p/manualgc☆17Mar 25, 2015Updated 11 years ago
- Concurrency Bug Vulnerability Analysis☆12Sep 4, 2017Updated 8 years ago
- libpaxos-cpp is a C++ implementation of the Paxos distributed consensus protocol☆67Mar 6, 2013Updated 13 years ago
- Generate Solidity Code from its AST☆15Sep 1, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a library which can be used to create story driven clustered load-testing packages through a very readable and understandable api.☆30May 20, 2010Updated 16 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- ☆13Jul 3, 2021Updated 4 years ago
- ☆18Dec 28, 2011Updated 14 years ago
- Distributed Ninja☆23Apr 22, 2015Updated 11 years ago
- Apache Thrift for the Go Language☆129Jun 27, 2022Updated 4 years ago
- Huang's Chunked Distributed File System☆17Jul 7, 2018Updated 7 years ago
- an implementation of the dynamic convex hull algorithm by Overmars and van Leeuwen, also including concatenable queue, 2-3 tree, and left…☆11Nov 22, 2025Updated 7 months ago
- ☆19Dec 6, 2018Updated 7 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.
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated 3 weeks ago
- Partial (re-)implementation of Thierry Leconte's acarsdec software in C++ for (a.o) sdrplay☆15Jan 9, 2019Updated 7 years ago
- Keyboard for debuging☆12May 18, 2018Updated 8 years ago
- shortwave reception software☆14Jul 17, 2018Updated 7 years ago
- This will be V2 of The Cappuccino GithubIssues application.☆13May 18, 2011Updated 15 years ago
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆77Jul 3, 2021Updated 4 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- C multiplatform coroutine implementation via ucontext, fibers or setjmp☆266Oct 21, 2009Updated 16 years ago
- Buddy memory allocation☆326Dec 22, 2011Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TextMate bundle for Twitter's Bootstrap☆32Jul 13, 2015Updated 10 years ago
- All thing about SDRPi☆20Mar 17, 2023Updated 3 years ago
- couchbase storage file library☆61Jun 1, 2026Updated last month
- Gopher Push Notification Service☆16Jan 21, 2014Updated 12 years ago
- my codebed☆17Nov 22, 2022Updated 3 years ago
- laravel使用nacos配置中心获取配置案例☆17Feb 2, 2023Updated 3 years ago
- Meniscus - The Python Event Logging Service☆63May 17, 2015Updated 11 years ago