Informal Systems

tm-load-test tool - Tendermint load test application

informalsystems

Verification-Driven Development

informalsystems

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

informalsystems

Drop-in replacement for CometBFT in end-to-end tests

informalsystems

Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups

informalsystems