Flexible BFT consensus engine in Rust

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Flexible BFT consensus engine in Rust

Protocols made fun: Igor's blog

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

TLA+ language support for Visual Studio Code

Client libraries for Tendermint/CometBFT in Rust!

APALACHE: symbolic model checker for TLA+ and Quint