informalsystems

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+.

Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.

Testing ABCI and ABCI++ by mocking Tendermint