Informal Systems

Results 15 repositories owned by Informal Systems

tm-load-test

27
Stars
18
Forks
Watchers

tm-load-test tool - Tendermint load test application

vdd

21
Stars
0
Forks
Watchers

Verification-Driven Development

quint

787
Stars
31
Forks
Watchers

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

CometMock

23
Stars
2
Forks
Watchers

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

sovereign-ibc

15
Stars
3
Forks
Watchers

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