COSMOS's repositories
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
awesome-cosmos
Collection of Cosmos related resources
sdk-tutorials
Tutorials for building modules for the Cosmos SDK
cosmos-rust
The home of all shared Rust resources for the Cosmos ecosystem.
interchain-security
Replicated security (aka interchain security V1) is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.
cosmos-multisig-ui
Create multisigs and multisig transactions on Cosmos chains
ibc-proto-rs
Rust crate for interacting with Cosmos and IBC structs.
rollkit-ibc
Rollkit Wasm light client (WIP)
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScriptApache-2.0000