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
Description
Informal Systems develops and stewards tools and initiatives for reliable digital infrastructure. It focuses on identifying structural problems in software and money, incubating solutions, and providing strategic oversight and governance. Its core initiatives are Quint, which helps teams specify, simulate, and verify complex systems, and Cycles, which is building clearing infrastructure intended to settle obligations more efficiently with less capital.Grant Funding
VC Funding
None
2023
$0
$11M