Informal Systems

Skip to content

Navigation Menu

Sign in

Appearance settings

@informalsystems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

  • Verified

    We've verified that the organization informalsystems controls the domain:

    • informal.systems

Pinned Loading

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

    TypeScript 1.3k 120

  2. Secure SGX Sidecar for CosmWasm

    Rust 61 8

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

    Rust 11 9

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

    Rust 25 8

  5. IBC Relayer in Rust

    Rust 492 399

  6. Security Audits by Informal Systems

    TLA 21 3

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 205 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

  • 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 11 3

    Updated Apr 7, 2026

  • informalsystems/poseidon377’s past year of commit activity

    Rust 0

    13 0 0

    Updated Apr 7, 2026

  • informalsystems/decaf377-rdsa’s past year of commit activity

    Rust 0

    4 0 0

    Updated Apr 7, 2026

  • 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 Mar 31, 2026

  • choreo Public

    Choreograph distributed protocols in Quint.

    informalsystems/choreo’s past year of commit activity

    Bluespec

    10

    Apache-2.0 0

    0 0

    Updated Mar 24, 2026

  • emerald Public

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

    informalsystems/emerald’s past year of commit activity

  • informalsystems/dimension-adapters’s past year of commit activity

    TypeScript 0

    1,713 0 0

    Updated Mar 16, 2026

  • informalsystems/Zerocash-spec’s past year of commit activity

    Bluespec

    1

    0

    0 0

    Updated Mar 10, 2026

  • informalsystems/cycles-overview’s past year of commit activity

    Jupyter Notebook

    1 1 0 0

    Updated Mar 9, 2026

Most used topics

Loading…