Movatterモバイル変換

ibc-starknet Public
Integration of IBC with Starknet
informalsystems/ibc-starknet’s past year of commit activity
Cairo 21Apache-2.0 4 35 1 UpdatedJul 12, 2025
across-protocol-relayer Public Forked fromacross-protocol/relayer
Relayer bot for across v3
informalsystems/across-protocol-relayer’s past year of commit activity
TypeScript0AGPL-3.0 83 0 0 UpdatedJul 11, 2025
quint Public
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
informalsystems/quint’s past year of commit activity
TypeScript 950Apache-2.0 79 223 (3 issues need help) 8 UpdatedJul 11, 2025
malachite Public
Flexible BFT consensus engine in Rust
informalsystems/malachite’s past year of commit activity
Rust 254Apache-2.0 40 69 (7 issues need help) 11 UpdatedJul 11, 2025
hydro Public
A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.
informalsystems/hydro’s past year of commit activity
Rust 10Apache-2.0 5 16 (1 issue needs help) 0 UpdatedJul 11, 2025
sequencer Public Forked fromstarkware-libs/sequencer
informalsystems/sequencer’s past year of commit activity
Rust0Apache-2.0 55 0 2 UpdatedJul 11, 2025
hydro-bid-descriptions Public
This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
informalsystems/hydro-bid-descriptions’s past year of commit activity
1 1 0 0 UpdatedJul 10, 2025
beacon-kit Public Forked fromberachain/beacon-kit
A modular framework for building EVM consensus clients ⛵️✨
informalsystems/beacon-kit’s past year of commit activity
Go0 244 0 2 UpdatedJul 10, 2025
ibc-rs Public
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
informalsystems/ibc-rs’s past year of commit activity
Rust 222Apache-2.0 100 90 25 UpdatedJul 10, 2025
cosmwasm-ibc Public
Facilities for implementing ibc-rs-powered light clients and applications as CosmWasm contracts.
informalsystems/cosmwasm-ibc’s past year of commit activity
Rust 1Apache-2.0 1 0 0 UpdatedJul 10, 2025