Consensys / qbft-formal-spec-and-verificationView external linksLinks
☆11Jun 24, 2024Updated last year
Alternatives and similar repositories for qbft-formal-spec-and-verification
Users that are interested in qbft-formal-spec-and-verification are comparing it to the libraries listed below
Sorting:
- ☆13Oct 26, 2025Updated 3 months ago
- ☆11Oct 14, 2021Updated 4 years ago
- Various R files☆10Dec 4, 2021Updated 4 years ago
- ☆10May 15, 2021Updated 4 years ago
- ☆12Mar 22, 2025Updated 10 months ago
- Documentation of the Verax Project☆12Dec 2, 2025Updated 2 months ago
- guarded interaction trees☆10Jul 4, 2025Updated 7 months ago
- ☆10May 14, 2020Updated 5 years ago
- cosmos_api_tools for validators☆10Dec 6, 2018Updated 7 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- 🐼 The installer for the Contributoor service; a monitoring and data-gathering tool that helps improve Ethereum’s network visibility☆12Jan 19, 2026Updated 3 weeks ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- Browser support for Lean using a monaco editor.☆13Jan 8, 2026Updated last month
- Open Source Cosmos Web Wallet☆10Dec 10, 2022Updated 3 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 5 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- This repository is meant to be used as a template for any future devnets/testnets☆14Updated this week
- ☆15Jan 24, 2023Updated 3 years ago
- Abstraction Layer over Heterogeneous Protocols☆15Mar 10, 2025Updated 11 months ago
- ☆19Updated this week
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- Various different test network-related configurations for Tendermint☆14Apr 6, 2020Updated 5 years ago
- SQLite bindings for Lean☆32Feb 10, 2026Updated last week
- ☆11Jun 7, 2024Updated last year
- Process Improvement using Data☆14Jan 24, 2026Updated 3 weeks ago
- Single-source shortest paths accelerated with AWS F1 FPGA☆14May 2, 2018Updated 7 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆17Nov 7, 2024Updated last year
- Cosmos-faucet is a simple alternative to the tendermint/faucet GoLang script. This is an idea adapted for Bitcanna and can be used for a…☆13May 24, 2021Updated 4 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- ☆13Dec 8, 2023Updated 2 years ago
- Garbage collection for Ada☆12Jan 15, 2023Updated 3 years ago
- NLP learning Series☆10Jan 27, 2022Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- 🐼 Contributoor is a monitoring and data-gathering tool that helps improve Ethereum’s network visibility while running seamlessly alongsi…☆16Updated this week
- ☆15Nov 28, 2023Updated 2 years ago