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
- A private decentralized database replicated over Git (or any other distributed log)☆73Dec 27, 2025Updated 8 months ago
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆123Jan 13, 2024Updated 2 years ago
- A publishing tool enabling users of the SAFE Network to easily manage websites☆12Jan 5, 2023Updated 3 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 6 years ago
- ☆18Feb 28, 2024Updated 2 years ago
- ☆12Jun 13, 2019Updated 7 years ago
- Safe Network DBCs☆15Jul 4, 2025Updated last year
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 9 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Request for Comment (RFC) papers and discussions on Project SAFE core libraries and APIs☆97Jul 19, 2024Updated 2 years ago
- a collection of well-tested, serializable CRDTs for Rust☆1,545Jun 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
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆29Jun 4, 2024Updated 2 years ago
- Pure Rust Distributed Hash Table☆37Jan 31, 2016Updated 10 years ago
- A distributed go-datastore implementation using Merkle-CRDTs.☆487Aug 27, 2026Updated last week
- The C19 Protocol☆28Jan 3, 2021Updated 5 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆233Apr 16, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Measure throughput per second.☆35Apr 29, 2021Updated 5 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- a password manager for hermits☆30Jul 27, 2018Updated 8 years ago
- Distributed KV store using go-ds-crdt and libp2p☆13Nov 28, 2021Updated 4 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☆64Oct 27, 2020Updated 5 years ago
- ☆18Jan 8, 2021Updated 5 years ago
- Comonads By Example Conference talk☆92Aug 6, 2019Updated 7 years 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.
- Simple libp2p demos implemented in Go, JS and Rust☆20May 1, 2025Updated last year
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago
- A model checker for implementing distributed systems.☆1,872Jul 27, 2025Updated last year
- Cross-chain DEX built on RenVM Chaosnet☆11Aug 11, 2021Updated 5 years ago
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆483Feb 4, 2020Updated 6 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 5 years ago
- A nice Haskell graphics API. There's always room for jello.☆41May 31, 2018Updated 8 years ago