GitHub repository: octopus-network/hermes
Primary language: Rust
Description: IBC modules and relayer - Formal specifications and Rust implementation