Skip to content
@informalsystems

Informal Systems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

Pinned Loading

  1. quint quint Public

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

    TypeScript 1.1k 102

  2. quartz quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 58 8

  3. hydro hydro Public

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

    Rust 11 7

  4. hermes hermes Public

    IBC Relayer in Rust

    Rust 486 393

Repositories

Showing 10 of 194 repositories
  • hydro Public

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

    informalsystems/hydro’s past year of commit activity
    Rust 11 Apache-2.0 7 15 1 Updated Nov 14, 2025
  • across-protocol-relayer Public Forked from across-protocol/relayer

    Relayer bot for across v3

    informalsystems/across-protocol-relayer’s past year of commit activity
    TypeScript 0 AGPL-3.0 106 0 1 Updated Nov 13, 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 1,080 Apache-2.0 102 217 (2 issues need help) 7 Updated Nov 11, 2025
  • quartz Public

    Secure SGX Sidecar for CosmWasm

    informalsystems/quartz’s past year of commit activity
    Rust 58 Apache-2.0 8 53 (2 issues need help) 3 Updated Nov 10, 2025
  • informal-kit Public
    informalsystems/informal-kit’s past year of commit activity
    TypeScript 0 0 0 0 Updated Nov 7, 2025
  • choreo Public

    Choreograph distributed protocols in Quint.

    informalsystems/choreo’s past year of commit activity
    Bluespec 7 Apache-2.0 0 0 0 Updated Nov 7, 2025
  • penumbra Public Forked from penumbra-zone/penumbra

    Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.

    informalsystems/penumbra’s past year of commit activity
    Rust 0 Apache-2.0 368 0 3 Updated Oct 31, 2025
  • malachite Public Forked from circlefin/malachite

    Flexible BFT consensus engine in Rust

    informalsystems/malachite’s past year of commit activity
    Rust 6 Apache-2.0 85 8 (1 issue needs help) 3 Updated Oct 30, 2025
  • cosmoverse25-demo Public

    A repository containing useful materials for the Quint Cosmoverse open-spec session "Beyond Thinking Hard"

    informalsystems/cosmoverse25-demo’s past year of commit activity
    Bluespec 0 Apache-2.0 0 0 0 Updated Oct 30, 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 1 Updated Oct 29, 2025
View all repositories