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 254 41

  2. quint quint Public

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

    TypeScript 954 80

  3. quartz quartz Public

    Secure SGX Sidecar for CosmWasm

    Rust 43 6

  4. hydro hydro Public

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

    Rust 10 5

  5. hermes hermes Public

    IBC Relayer in Rust

    Rust 482 388

Repositories

Showing 10 of 184 repositories

Top languages

Loading…

Most used topics

Loading…