Informal Systems
Results
15
repositories owned by
Informal Systems
atomkraft
77
Stars
10
Forks
Watchers
Advanced fuzzing via Model Based Testing for Cosmos blockchains
basecoin-rs
52
Stars
16
Forks
Watchers
An example ABCI application making use of tendermint-rs and ibc-rs
modelator
51
Stars
5
Forks
Watchers
Model-based testing tool
modelator-py
28
Stars
2
Forks
Watchers
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
multisig
35
Stars
10
Forks
Watchers
Painless multisig for many keys across many cosmos-sdk chains
tendermint-rs
604
Stars
224
Forks
Watchers
Client libraries for Tendermint/CometBFT in Rust!
themis-contract
45
Stars
4
Forks
Watchers
A command line-based parameterized contracting tool
tla-apalache-workshop
22
Stars
5
Forks
Watchers
Material for a workshop on Apalache and TLA+. To be populated with more examples.