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: over 2 years agoLinked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| A distributed system for replicating state transitions on multiple machines with fault tolerance. | 661 | |
| A C++ library that implements synchronous multi-master replication interface for distributed databases | 452 | |
| A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,133 | |
| A functional programming library providing utilities for working with data and concurrency in TypeScript/JavaScript. | 940 | |
| Provides logical replication for PostgreSQL databases with fast and efficient data transfer | 1,042 | |
| A software transactional memory implementation for .NET with strong guarantees on safety and thread-safety | 241 | |
| A C++ library that provides a simple and expressive way to model and manage finite state machines using Boost Hana meta programming. | 191 | |
| Implementation of a replicated data type in Haskell for handling concurrent updates and maintaining consistency in distributed systems. | 65 | |
| Records reproductions of Linux vulnerabilities in various virtual machines. | 399 | |
| A client library for MySQL binary log replication protocol | 193 | |
| A reference implementation of a neutral replicated state machine based on the Libra/Diem technologies | 248 | |
| A header-only C++20 bencode serialization/deserialization library for efficient data exchange | 48 | |
| A C++ library for efficient finite state machine and regular expression manipulation. | 1,837 | |
| A tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly | 196 | |
| An experimental library providing a flexible and efficient way to manage entities and their components in C++14 multithreaded systems. | 472 |