4
Repos
1.3k
Stars
130
Forks
1.3k
Watchers
Repositories (4)
quint
informalsystems/quint
TypeScript
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
972
85
malachite
informalsystems/malachite
Rust
Flexible BFT consensus engine in Rust
254
42
modelator-py
informalsystems/modelator-py
Python
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
28
3
tendermock
informalsystems/tendermock
Python
Testing ABCI and ABCI++ by mocking Tendermint
0
0