An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Flexible BFT consensus engine in Rust
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Testing ABCI and ABCI++ by mocking Tendermint