Skip to content
@informalsystems

Informal Systems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

Pinned Loading

  1. malachite Public

    Flexible BFT consensus engine in Rust

    Rust 214 20

  2. quint Public

    An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

    TypeScript 893 45

  3. quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 35 5

  4. hydro Public

    A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.

    Rust 10 4

  5. hermes Public

    IBC Relayer in Rust

    Rust 469 374

  6. tendermint-rs Public

    Client libraries for Tendermint/CometBFT in Rust!

    Rust 636 234

Repositories

Showing 10 of 165 repositories
  • malachite Public

    Flexible BFT consensus engine in Rust

    Rust 214 Apache-2.0 20 76 (6 issues need help) 14 Updated Mar 27, 2025
  • hydro Public

    A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.

    Rust 10 Apache-2.0 4 18 (1 issue needs help) 2 Updated Mar 27, 2025
  • ibc-starknet Public

    Integration of IBC with Starknet

    Rust 15 Apache-2.0 3 48 5 Updated Mar 27, 2025
  • quint Public

    An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

    TypeScript 893 Apache-2.0 45 225 (9 issues need help) 8 Updated Mar 27, 2025
  • tendermint-rs Public

    Client libraries for Tendermint/CometBFT in Rust!

    Rust 636 Apache-2.0 234 157 (7 issues need help) 16 Updated Mar 26, 2025
  • hermes-sdk Public
    Rust 31 Apache-2.0 11 37 11 Updated Mar 26, 2025
  • quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 35 Apache-2.0 5 44 (2 issues need help) 3 Updated Mar 25, 2025
  • beacon-kit Public Forked from berachain/beacon-kit

    A modular framework for building EVM consensus clients ⛵️✨

    Go 0 219 0 0 Updated Mar 25, 2025
  • hermes Public

    IBC Relayer in Rust

    Rust 469 Apache-2.0 374 175 29 Updated Mar 25, 2025
  • hydro-bid-descriptions Public

    This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.

    1 1 0 0 Updated Mar 24, 2025
View all repositories