Stars
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TLA+ language support for Visual Studio Code
Client libraries for Tendermint/CometBFT in Rust!
APALACHE: symbolic model checker for TLA+ and Quint