☆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:
- Various R files☆10Dec 4, 2021Updated 4 years ago
- ☆11Oct 14, 2021Updated 4 years ago
- ☆13Oct 26, 2025Updated 4 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- ☆10May 15, 2021Updated 4 years ago
- ☆10May 14, 2020Updated 5 years ago
- ~vibehouse~ is a community-driven Ethereum consensus client. Same rock-solid Lighthouse core, but we ship faster, break things sometimes,…☆21Updated this week
- 🐼 The installer for the Contributoor service; a monitoring and data-gathering tool that helps improve Ethereum’s network visibility☆12Mar 2, 2026Updated last week
- ☆12Mar 22, 2025Updated 11 months ago
- cosmos_api_tools for validators☆10Dec 6, 2018Updated 7 years ago
- Documentation of the Verax Project☆12Feb 27, 2026Updated last week
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- guarded interaction trees☆11Jul 4, 2025Updated 8 months ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- Abstraction Layer over Heterogeneous Protocols☆15Mar 10, 2025Updated 11 months ago
- ☆15Jan 24, 2023Updated 3 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- This repository is meant to be used as a template for any future devnets/testnets☆14Updated this week
- Open Source Cosmos Web Wallet☆10Dec 10, 2022Updated 3 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- ☆21Feb 27, 2026Updated last week
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 6 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Browser support for Lean using a monaco editor.☆14Updated this week
- ☆11Jun 7, 2024Updated last year
- revm/reth block proving on Valida☆15Feb 11, 2025Updated 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…☆14May 24, 2021Updated 4 years ago
- SQLite bindings for Lean☆36Feb 24, 2026Updated last week
- ☆13Dec 8, 2023Updated 2 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- Garbage collection for Ada☆12Jan 15, 2023Updated 3 years ago
- Various different test network-related configurations for Tendermint☆14Apr 6, 2020Updated 5 years ago
- Process Improvement using Data☆14Jan 24, 2026Updated last month
- NLP learning Series☆10Jan 27, 2022Updated 4 years 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
- A code generator for packet-processing pipelines based on end-to-end program synthesis☆12Jan 19, 2022Updated 4 years ago
- Gitea actions based, 3rd generation of joint online judge. Mirrored from https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3.☆17Feb 13, 2026Updated 3 weeks ago