Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by informalsystems
A curated list of projects in awesome lists by informalsystems .
https://github.com/informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
apalache language quint specification tlaplus
Last synced: 31 Jul 2024
https://github.com/informalsystems/tendermint-rs
Client libraries for Tendermint/CometBFT in Rust!
cometbft light-client rust tendermint
Last synced: 01 Aug 2024
https://github.com/informalsystems/hermes
IBC Relayer in Rust
blockchain cosmos ibc rust tendermint
Last synced: 01 Aug 2024
https://github.com/informalsystems/basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs
Last synced: 01 Aug 2024
https://github.com/informalsystems/cosmos.nix
A reproducible package set for Cosmos, IBC and CosmWasm
Last synced: 02 Aug 2024
https://github.com/informalsystems/tm-load-test
tm-load-test tool - Tendermint load test application
Last synced: 01 Aug 2024
https://github.com/informalsystems/multisig
Painless multisig for many keys across many cosmos-sdk chains
cosmos cosmos-sdk cryptocurrency multisig
Last synced: 01 Aug 2024
https://github.com/informalsystems/sovereign-ibc
Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
Last synced: 01 Aug 2024
https://github.com/informalsystems/chainpulse
Monitoring tool for IBC relayers
Last synced: 01 Aug 2024