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.
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.
Projects
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.
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.
Informal Systems·2 days ago
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.
