Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
☆63Dec 11, 2025Updated 7 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 3 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆74Dec 27, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- A peer-to-peer data sync framework☆22Jul 21, 2020Updated 6 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
- ☆17Jul 18, 2023Updated 3 years ago
- poanetwork/threshold_crypto using supranational/blst for sign+verify☆31Jan 26, 2024Updated 2 years ago
- a language about nothing☆19Aug 3, 2019Updated 6 years ago
- Safe Network DBCs☆15Jul 4, 2025Updated last year
- 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.
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 8 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- A monadic interface for DAG construction.☆24May 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
- Implementation of Dhall in Dhall☆12Jul 21, 2026Updated last week
- a collection of well-tested, serializable CRDTs for Rust☆1,542Jun 16, 2024Updated 2 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆29Jun 4, 2024Updated 2 years 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 4 months ago
- Fact ⇒ domain inference database☆22Aug 5, 2017Updated 8 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- Libp2p / IPFS terminal-based chat☆14Jan 6, 2023Updated 3 years ago
- 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 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Peer CRDT☆60May 1, 2025Updated last year
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆482Feb 4, 2020Updated 6 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 5 years ago
- Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust☆12Apr 6, 2018Updated 8 years ago
- A nice Haskell graphics API. There's always room for jello.☆41May 31, 2018Updated 8 years ago
- A programming language somewhat resembling cellular processes.☆34Feb 27, 2022Updated 4 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 3 years ago