Informal Systems
@informal.systems
Informal Systems is an incubator strengthening the foundations of digital infrastructure. We build Quint and Cycles so systems work as intended and value moves with integrity.
Informal Systems's Company Logos
Informal Systems's Brand Colors
Hex Code
Color name
RGB
HSL
CMYK
#1A3A4A
Nile Blue
26, 58, 74
200, 48, 20
65, 22, 0, 71
#FFFFFF
White
255, 255, 255
0, 0, 100
0, 0, 0, 0
#627362
Willow Grove
98, 115, 98
120, 8, 42
15, 0, 15, 55
About Informal Systems
Informal Systems is a brand that specializes in verifiable distributed systems and organizations. They offer a range of products and services that focus on software, money, and organizations. Their team of experts includes software engineers, research engineers, developers, and scientists who work together to develop and implement practical verification methods and tools, focusing on distributed systems and protocol specification.
Informal Systems is committed to creating reliable computer systems and believes in the power of decentralization and consensus algorithms to promote social cohesion. They value simplicity and elegance in design and strive to empower humans with new ways to coordinate and reach agreement. Their team is dedicated to creating successful ecosystems by fostering collaboration and trust among all stakeholders.
With a focus on formal methods and cutting-edge technologies like blockchain, Informal Systems is at the forefront of innovation in the field. They believe in the liberating potential of formal methods and aim to make them accessible to developers through intuitive interfaces and tooling
Company type
Privately Held
Year founded
2019
Company size
11-50 employees
Related Brands
Tags
Formal verification
Software specifications
Distributed clearing
Settlement infrastructure
Digital trust
