concord-bft
State machine replicator
A distributed state machine replication library designed to handle malicious replicas and improve scalability in BFT-based systems
Concord byzantine fault tolerant state machine replication library
381 stars
41 watching
148 forks
Language: C++
last commit: 12 months ago
Linked from 1 awesome list
spacial/awesome-systoolsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cometbft/cometbft | A distributed system for replicating state transitions on multiple machines with fault tolerance. | 661 |
 codership/galera | A C++ library that implements synchronous multi-master replication interface for distributed databases | 452 |
 willemt/raft | A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,133 |
 marpple/fxts | A functional programming library providing utilities for working with data and concurrency in TypeScript/JavaScript. | 940 |
 2ndquadrant/pglogical | Provides logical replication for PostgreSQL databases with fast and efficient data transfer | 1,042 |
 jbakic/shielded | A software transactional memory implementation for .NET with strong guarantees on safety and thread-safety | 241 |
 erikzenker/hsm | A C++ library that provides a simple and expressive way to model and manage finite state machines using Boost Hana meta programming. | 191 |
 ff-notes/ron | Implementation of a replicated data type in Haskell for handling concurrent updates and maintaining consistency in distributed systems. | 65 |
 vulnreproduction/linuxflaw | Records reproductions of Linux vulnerabilities in various virtual machines. | 399 |
 2tvenom/myreplication | A client library for MySQL binary log replication protocol | 193 |
 0lnetworkcommunity/libra-legacy-v6 | A reference implementation of a neutral replicated state machine based on the Libra/Diem technologies | 248 |
 fbdtemme/bencode | A header-only C++20 bencode serialization/deserialization library for efficient data exchange | 48 |
 microsoft/blingfire | A C++ library for efficient finite state machine and regular expression manipulation. | 1,837 |
 barrucadu/dejafu | A tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly | 196 |
 vittorioromeo/ecst | An experimental library providing a flexible and efficient way to manage entities and their components in C++14 multithreaded systems. | 472 |