Skip to content
@informalsystems

Informal Systems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

Pinned Loading

  1. malachite malachite Public

    Flexible BFT consensus engine in Rust

    Rust 211 20

  2. quint quint Public

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

    TypeScript 892 44

  3. quartz quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 35 5

  4. hydro hydro Public

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

    Rust 10 4

  5. hermes hermes Public

    IBC Relayer in Rust

    Rust 469 373

  6. tendermint-rs tendermint-rs Public

    Client libraries for Tendermint/CometBFT in Rust!

    Rust 635 232

Repositories

Showing 10 of 165 repositories
  • malachite Public

    Flexible BFT consensus engine in Rust

    informalsystems/malachite’s past year of commit activity
    Rust 211 Apache-2.0 20 77 (6 issues need help) 13 Updated Mar 21, 2025
  • ibc-starknet Public

    Integration of IBC with Starknet

    informalsystems/ibc-starknet’s past year of commit activity
    Rust 15 Apache-2.0 3 48 3 Updated Mar 21, 2025
  • hermes-sdk Public
    informalsystems/hermes-sdk’s past year of commit activity
    Rust 31 Apache-2.0 11 37 12 Updated Mar 21, 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 10 Apache-2.0 4 18 (1 issue needs help) 2 Updated Mar 21, 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 Updated Mar 20, 2025
  • quartz Public

    Secure SGX Sidecar for CosmWasm

    informalsystems/quartz’s past year of commit activity
    Rust 35 Apache-2.0 5 44 (2 issues need help) 4 Updated Mar 19, 2025
  • itf-rs Public

    Rust library for consuming Apalache ITF traces

    informalsystems/itf-rs’s past year of commit activity
    Rust 5 Apache-2.0 1 0 1 Updated Mar 19, 2025
  • malaketh-layered Public

    Malachite as consensus engine for Ethereum execution clients via Engine API

    informalsystems/malaketh-layered’s past year of commit activity
    Rust 7 1 0 0 Updated Mar 18, 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 892 Apache-2.0 44 225 (9 issues need help) 9 Updated Mar 18, 2025
  • hermes Public

    IBC Relayer in Rust

    informalsystems/hermes’s past year of commit activity
    Rust 469 Apache-2.0 373 174 28 Updated Mar 18, 2025
View all repositories