Back to Organizations
Informal Systems
Informal Systems is a Toronto-based worker-owned technology company and incubator focused on fostering trust in software and money through formal verification, distributed systems, blockchain infrastructure, payments, and related technologies.
Toronto, Canada
Quint
Project Links
Description
Quint provides executable specifications, simulation, testing, model checking, model-based testing, and runtime monitoring. Its language and foundational tools are open source, with commercial offerings for advanced verification and enterprise infrastructure. Quint originated inside Informal Systems and became an independent company in 2026.Category: Developer Tooling
Cycles
Project Links
Description
Cycles is an open protocol for multi-party clearing and settlement. It maps obligations between participants, identifies offsets, and settles only the remainder, reducing capital requirements, friction, and counterparty risk. Its initial products are Cycles Prime for institutional trading firms and Cycles Pay for private stablecoin and fiat payments.Category: Payments Infrastructure
Hydro
Project Links
Description
Hydro is a live CosmWasm-based platform for Cosmos Hub and Interchain liquidity. Stakers lock staked ATOM or LSM shares to obtain voting power; projects bid for liquidity and offer tribute to voters. Hydro manages liquidity deployments, governance, risk oversight, and related Inflow vault infrastructure.Category: Cross-chain Infrastructure
Emerald
Project Links
Description
Emerald is an Apache-2.0 framework that combines the Malachite consensus engine, an Ethereum execution client currently based on Reth via the Engine API, and a proof-of-authority module. It is designed for customizable governance and compliance logic and supports local testnet and production-network deployment.Category: Developer Tooling