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

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