Informal Systems

@informalsystems

Premier Partner in Protocol Design & Cross-Chain Infrastructure

Verified
We've verified that the organization informalsystems controls the domain:
- informal.systems

Pinned Loading

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

TypeScript 1.3k 120
Secure SGX Sidecar for CosmWasm

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

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

Rust 25 8
IBC Relayer in Rust

Rust 492 399
Security Audits by Informal Systems

TLA 21 3

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

Loading…