Unclaimed brand
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.
Liking this brand profile? Share this page
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
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
Formal methods software
Executable specifications
Distributed systems engineering
Debt clearing infrastructure
Financial settlement networks
How do I download the Informal Systems logo?
The Informal Systems logo comes in two versions: a logo and an icon. Download as SVG, transparent PNG or JPEG.
What does Informal Systems' branding look like?
The Informal Systems wordmark pairs a fine, lowercase “informal” lettering with a distinctive long descender on the “f” and a small, widely tracked uppercase “SYSTEMS” beneath it. Its visual language combines restrained geometric sans lettering with selective italic emphasis, a deep teal and navy palette, white space, and amber highlights; fine-line radial and circular diagrams, technical imagery, and orderly layouts reinforce the infrastructure-and-systems focus.
What are Informal Systems' brand colors?
The Informal Systems color palette uses the hex codes #1A3A4A, #FFFFFF and #627362.
The Informal Systems name, logos and brand assets are trademarks of Informal Systems and its affiliates. Brandfetch isn't affiliated with or endorsed by Informal Systems. Their use is subject to Informal Systems's brand guidelines.
