Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
☆63Dec 11, 2025Updated 8 months ago
Alternatives and similar repositories for bft-crdts
Users that are interested in bft-crdts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Transfers in the SAFE Network.☆10Jun 25, 2021Updated 5 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- Implementation of a BLS DKG mechanism, requires signing key, encryption key and SocketAddr of participants☆21Aug 9, 2022Updated 4 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆74Dec 27, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 6 years ago
- Commutative graphs made for real-time, offline-tolerant replication☆56Jun 15, 2019Updated 7 years ago
- ☆124Jan 13, 2024Updated 2 years ago
- A publishing tool enabling users of the SAFE Network to easily manage websites☆12Jan 5, 2023Updated 3 years ago
- The Passport API provides a self-certifying Public Key Infrastructure, PKI, independent of the requirement for any central directory☆15Mar 20, 2019Updated 7 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 6 years ago
- ☆18Feb 28, 2024Updated 2 years ago
- ☆17Jul 18, 2023Updated 3 years ago
- poanetwork/threshold_crypto using supranational/blst for sign+verify☆31Jan 26, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Safe Network DBCs☆15Jul 4, 2025Updated last year
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 8 years ago
- A monadic interface for DAG construction.☆25May 11, 2021Updated 5 years ago
- Request for Comment (RFC) papers and discussions on Project SAFE core libraries and APIs☆97Jul 19, 2024Updated 2 years ago
- TODA files: an open source cryptographic asset structure☆17Jul 28, 2025Updated last year
- a collection of well-tested, serializable CRDTs for Rust☆1,546Jun 16, 2024Updated 2 years ago
- Open-source overlay and peer-to-peer network simulation framework for the OMNeT++ simulation environment☆13Apr 2, 2014Updated 12 years ago
- the global haskell instance repository☆16Feb 5, 2019Updated 7 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆29Jun 4, 2024Updated 2 years ago
- A distributed go-datastore implementation using Merkle-CRDTs.☆487Jul 30, 2026Updated 2 weeks ago
- Category theory concepts in type classes and instances.☆23Jun 27, 2026Updated last month
- Implement multiple blockchain consensus, including raft, pbft, paxos, dpos, power☆18Mar 15, 2026Updated 5 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆234Apr 16, 2024Updated 2 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- a password manager for hermits☆30Jul 27, 2018Updated 8 years ago
- Distributed KV store using go-ds-crdt and libp2p☆12Nov 28, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Merkle trees in Rust☆14Oct 28, 2014Updated 11 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- Libp2p / IPFS terminal-based chat☆13Jan 6, 2023Updated 3 years ago
- Rust CASPaxos implementation☆66Oct 27, 2020Updated 5 years ago
- An implementation of a push-pull gossip protocol.☆43Nov 23, 2020Updated 5 years ago
- Comonads By Example Conference talk☆92Aug 6, 2019Updated 7 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago