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.2k 111

  2. quartz quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 59 8

  3. hydro hydro Public

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

    Rust 11 9

  4. emerald emerald Public

    Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.

    Rust 22 7

  5. hermes hermes Public

    IBC Relayer in Rust

    Rust 489 394

  6. audits audits Public

    Security Audits by Informal Systems

    TLA 20 3

Repositories

Showing 10 of 201 repositories
  • 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,159 Apache-2.0 111 221 (2 issues need help) 19 Updated Feb 14, 2026
  • 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 9 20 4 Updated Feb 12, 2026
  • quint-llm-kit Public

    Agents and tools for using Quint with LLMs

    informalsystems/quint-llm-kit’s past year of commit activity
    Bluespec 5 Apache-2.0 1 0 0 Updated Feb 11, 2026
  • emerald Public

    Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.

    informalsystems/emerald’s past year of commit activity
    Rust 22 Apache-2.0 7 28 (2 issues need help) 7 Updated Feb 11, 2026
  • yield-server Public Forked from DefiLlama/yield-server
    informalsystems/yield-server’s past year of commit activity
    JavaScript 0 1,056 0 0 Updated Feb 10, 2026
  • multisig Public

    Painless multisig for many keys across many cosmos-sdk chains

    informalsystems/multisig’s past year of commit activity
    Go 36 Apache-2.0 12 17 2 Updated Feb 9, 2026
  • 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 372 0 3 Updated Feb 3, 2026
  • choreo Public

    Choreograph distributed protocols in Quint.

    informalsystems/choreo’s past year of commit activity
    Bluespec 9 Apache-2.0 0 0 0 Updated Feb 2, 2026
  • informal-kit Public
    informalsystems/informal-kit’s past year of commit activity
    TypeScript 0 0 0 0 Updated Jan 30, 2026
  • DefiLlama-Adapters Public Forked from DefiLlama/DefiLlama-Adapters
    informalsystems/DefiLlama-Adapters’s past year of commit activity
    JavaScript 0 7,103 0 0 Updated Jan 30, 2026
View all repositories

Most used topics

Loading…