Interchain Security is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.

The AMM Laboratory

Building generic merkle proof format for IBC

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

This repository implements IBC solo machine which can be used to interface with other machines and replicated ledgers which speak IBC.

Flexible BFT consensus engine in Rust

IBC Relayer in Rust

A reproducible package set for Cosmos, IBC and CosmWasm

Client libraries for Tendermint/CometBFT in Rust!

Namada indexer

Scripts to configure and launch a testnet of ibc-go simd chains with support for multihop channels

A local testnet for Starknet... in Rust

Wasm friendly Celestia light node implementation in Rust

Secure SGX Sidecar for CosmWasm