─── team / organization
informalsystems
@informalsystems
─── top repos · by stars
─── repositories
30 / 33Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
Advanced fuzzing via Model Based Testing for Cosmos blockchains
A reproducible package set for Cosmos, IBC and CosmWasm
An example ABCI application making use of tendermint-rs and ibc-rs
Painless multisig for many keys across many cosmos-sdk chains
Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
Various different test network-related configurations for Tendermint
Hermes IBC Workshop - Fungible Token Transfer (ics-20) between two Starport chains
A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.
Specifications of the protocols and the experiments on their verification
Material used in interactive demos and tutorials
A playground for Cycles demos, experiments and prototypes.
Informal Systems Atomkraft adaptations and TLA specs for Osmosis audit project
Cosmos-SDK blockchain following Ignite's Blog tutorial
Exploration of language connections between Quint and Cosmwasm
This repository is purely experimental. It is meant to track cross-stack issues. These are issues which we do not know where they belong (is it a Tendermint? an SDK? an IBC-go problem?) or which have multiple dependencies in different repositories, potentially across multiple organizations (cosmos, informalsystems).
─── top contributors
soareschen
1,019 commits
romac
891 commits
hu55a1n1
517 commits
adizere
503 commits
ljoss17
427 commits
Farhad-Shabani
367 commits
ancazamfir
306 commits
rnbguy
306 commits
plafer
290 commits
thanethomson
287 commits
ethanfrey
237 commits
p-offtermatt
197 commits
andynog
195 commits
seanchen1991
187 commits
bkolad
171 commits
wojtek-coreum
169 commits
preston-evans98
154 commits
dusan-maksimovic
148 commits
oldremez
144 commits
quasisamurai
127 commits
─── ecosystems
─── languages
- Rust11
- Go6
- Python3
- TypeScript3
- TLA2
- Bluespec2
─── subscriber view
Unlock the full view of informalsystems
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.