Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
☆64Dec 11, 2025Updated 2 months ago
Alternatives and similar repositories for bft-crdts
Users that are interested in bft-crdts are comparing it to the libraries listed below
Sorting:
- Implementation of Transfers in the SAFE Network.☆10Jun 25, 2021Updated 4 years ago
- A cross platform tool to easily launch a SAFE Network test section from home☆11Feb 20, 2023Updated 3 years ago
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- Commutative graphs made for real-time, offline-tolerant replication☆56Jun 15, 2019Updated 6 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Implementation of a BLS DKG mechanism, requires signing key, encryption key and SocketAddr of participants☆21Aug 9, 2022Updated 3 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Safe Network Data Types☆23Jun 25, 2021Updated 4 years ago
- Cross-chain DEX built on RenVM Chaosnet☆12Aug 11, 2021Updated 4 years ago
- A publishing tool enabling users of the SAFE Network to easily manage websites☆12Jan 5, 2023Updated 3 years ago
- Distributed KV store using go-ds-crdt and libp2p☆12Nov 28, 2021Updated 4 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- ☆12Jun 13, 2019Updated 6 years ago
- ☆123Jan 13, 2024Updated 2 years ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31May 11, 2021Updated 4 years ago
- ☆19Mar 30, 2025Updated 11 months ago
- ☆14May 15, 2016Updated 9 years ago
- Messenger provides a simple arbitrary message sending API to multiple peers for libp2p-based protocols.☆19Feb 13, 2026Updated 3 weeks ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 8 years ago
- TODA files: an open source cryptographic asset structure☆17Jul 28, 2025Updated 7 months ago
- Stores and updates the bitcoin blockchain and historical bitcoin market data into a mysql database.☆17Feb 21, 2012Updated 14 years ago
- Pinza is an IPFS pinning system and clustering software using Ceramic as a distributed database.☆17Oct 21, 2021Updated 4 years ago
- ☆17Jul 18, 2023Updated 2 years ago
- a language about nothing☆19Aug 3, 2019Updated 6 years ago
- ☆14Jul 20, 2022Updated 3 years ago
- A set of tools for working with datafrog☆28Sep 1, 2025Updated 6 months ago
- XDI2 general purpose library and server☆31Dec 9, 2022Updated 3 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Open Source Capital Markets Platform: Unified Cross-Asset Trading, Risk Management & Post-Trade Operations. Modular, Auditable, Sovereign…☆16Updated this week
- peer-crdt network and store over IPFS☆20May 1, 2025Updated 10 months ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Libp2p Kademlia Exporter exposing Prometheus metrics☆22Jan 18, 2024Updated 2 years ago
- No longer supported. The new wallet is being developed by /Agorise☆11Aug 9, 2016Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- Simple libp2p demos implemented in Go, JS and Rust☆20May 1, 2025Updated 10 months ago
- A distributed go-datastore implementation using Merkle-CRDTs.☆474Updated this week
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago