information-theoretic asynchronous BFT
☆21Jul 25, 2024Updated 2 years ago
Alternatives and similar repositories for waterbear
Users that are interested in waterbear are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BEAT: Asynchronous BFT Made Practical☆18Mar 4, 2020Updated 6 years ago
- ☆25Sep 12, 2025Updated last year
- High-throughput Byzantine consensus on variable bandwidth networks.☆38Jun 7, 2024Updated 2 years ago
- HoneyBadgerBFT, the first practical asynchronous BFT protocol without timing assuption☆30Jul 22, 2019Updated 7 years ago
- Implements rapidchain consensus algorithm☆10Jan 30, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mixnet and Anonymous Communication Networks (ACN) research☆23Oct 7, 2019Updated 7 years ago
- The Honey Badger of BFT Protocols☆143May 4, 2022Updated 4 years ago
- Simply and Easily cross-compile the Rust sysroot crates.☆14Jan 24, 2022Updated 4 years ago
- Delphi-BFT automates large-scale simulations of unmodified BFT protocol implementations through the Phantom simulator given a simple expe…☆17Nov 28, 2025Updated 11 months ago
- Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.☆220Nov 29, 2022Updated 3 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- ☆230Jul 15, 2026Updated 3 months ago
- A simple raytracer written in lean☆13Jan 13, 2021Updated 5 years ago
- A high-performance Ethereum Virtual Machine implementation in Zig☆12Mar 6, 2026Updated 8 months 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.
- This is the smart contract that incentivize voters (of compound) by using the proof of voting NFTs.☆11Sep 8, 2021Updated 5 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 2021Updated 4 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆27Updated this week
- The Honey Badger of BFT Protocols☆327Feb 26, 2020Updated 6 years ago
- ☆17Jan 5, 2022Updated 4 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- a simple API for parallel computation on collections☆16Oct 6, 2022Updated 4 years ago
- This is an implementation of the Pracltical Byzantine Fault Tolerance protocol using Python☆21Dec 16, 2025Updated 10 months ago
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆26Sep 27, 2022Updated 4 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.
- SQLite database file parser in pure JavaScript☆14Apr 28, 2022Updated 4 years ago
- ☆14Jan 14, 2022Updated 4 years ago
- Proof of History in Golang. Taking key concepts from the Solana whitepaper and providing examples in Go☆14Jan 9, 2022Updated 4 years ago
- Flutter + WebAssembly Example☆13Mar 3, 2020Updated 6 years ago
- Searching with Optical Music Recognition technology and the Cantus Database☆16Updated this week
- Implementation for "Tying Word Vectors and Word Classifiers: A Loss Framework for Language Modeling"☆38Aug 8, 2017Updated 9 years ago
- 一个Byzantine容错的分布式共识协议研究与实现☆21Jul 25, 2021Updated 5 years ago
- Coala is a python package for Contextual Answer Sentence Selection.☆15Jun 12, 2023Updated 3 years ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Oct 26, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Ethereumized HotStuff consensus protocol☆14Oct 22, 2020Updated 6 years ago
- Incremental convex hull algorithm☆12Aug 7, 2021Updated 5 years ago
- [Deprecated] integrated into https://github.com/keroxp/servest☆13Mar 16, 2019Updated 7 years ago
- Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Netwo…☆31Aug 29, 2017Updated 9 years ago
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- Probabilistic data structures for large or streaming data sets.☆19May 13, 2017Updated 9 years ago
- Intraday Trading Terminal☆16Oct 28, 2021Updated 5 years ago