GitHub repository: ChorusOne/ibc-rs
Description: IBC modules and relayer - Formal specifications and Rust implementation