Back to Organizations
Informal Systems
Informal Systems is a remote-first company builder and incubator focused on fostering trust in software and money. It stewards and supports Quint, an executable-specification tool for verifying software behavior, and Cycles, infrastructure for multilateral financial clearing.
Distributed
Cycles
Project Links
Description
Cycles is the Open Clearing Protocol. It extends debt-clearing capabilities beyond traditional closed bank clearing clubs, allowing people to clear debts privately and securely with forms of currency or credit that suit them.Category: Payments Infrastructure
Quint
Project Links
Description
Quint provides an open-source typed executable specification language and core tooling for describing system behavior, checking properties, exploring behaviors, and model-based testing. Its offering also includes Quint Studio, which carries executable system descriptions from design validation into testing and production mismatch detection, aimed at correctness-critical distributed, AI infrastructure, blockchain/fintech, and cloud systems.Category: Developer Tooling