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 226 21

  2. quint Public

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

    TypeScript 923 48

  3. quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 41 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 477 377

Repositories

Showing 10 of 172 repositories
  • hermes-sdk Public
    Rust 34 Apache-2.0 11 39 10 Updated Apr 29, 2025
  • quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 41 Apache-2.0 5 48 (2 issues need help) 3 Updated Apr 29, 2025
  • beacon-kit Public Forked from berachain/beacon-kit

    A modular framework for building EVM consensus clients ⛵️✨

    Go 0 226 0 0 Updated Apr 29, 2025
  • ibc-starknet Public

    Integration of IBC with Starknet

    Cairo 19 Apache-2.0 3 39 1 Updated Apr 29, 2025
  • malachite Public

    Flexible BFT consensus engine in Rust

    Rust 226 Apache-2.0 21 66 (5 issues need help) 9 Updated Apr 29, 2025
  • hydro Public

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

    Rust 10 Apache-2.0 4 19 (1 issue needs help) 1 Updated Apr 29, 2025
  • cometbft Public Forked from cometbft/cometbft

    Fork of CometBFT for easier work inside the company

    Go 0 Apache-2.0 644 0 1 Updated Apr 29, 2025
  • hermes Public

    IBC Relayer in Rust

    Rust 477 Apache-2.0 377 175 35 Updated Apr 28, 2025
  • quint Public

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

    TypeScript 923 Apache-2.0 48 233 (9 issues need help) 5 Updated Apr 28, 2025
  • ibc-rs Public

    Rust implementation of the Inter-Blockchain Communication (IBC) protocol.

    Rust 219 Apache-2.0 100 90 25 Updated Apr 28, 2025
View all repositories