Informal Systems's tech stack
What does Informal Systems use?
Informal Systems (informal.systems) uses at least 19 tools we can see from public records, including Netlify for hosting, Calendly for sales, Contentful for its website and Greenhouse for hiring and HR. Last checked .
“Informal Systems is an incubator of internal projects in formal methods, distributed systems, and digital infrastructure. We build Quint and Cycles.”
- Industry
- Software
- Size
- 11–50 employees
- Based in
- Toronto, Canada
- Founded
- 2020
- Company page
- Tools found
- 19
- Categories
- 15
- Layers
- 5 of 5
- Last checked
- Nov 2026
Informal Systems's stack, layer by layer
Of 19 tools, 7 came from website code, 5 from email records, 3 from DNS verification records and 4 from other records. Each tool links to the other companies we've found using it. The label says what kind of public trace gave it away.
Edge & Hosting
2 tools, where the bytes are served from
Hosting & Cloud
DNS
Application
4 tools, what the product is built with
Data & Observability
1 tool, what they measure and store
Analytics
Go-to-market
4 tools, how they find and keep customers
Website & CMS
Sales & CRM
Company Ops
8 tools, what the team runs on day to day
Email Delivery
Workspace
Collaboration
Dev Tools
People & HR
Security & Compliance
Companies like Informal Systems also use
Tools common among companies with a similar stack that we haven't found at Informal Systems.
Companies with a stack like Informal Systems's
Ranked by shared tools, with rare tools counting more.
ConnecteamSoftware · 201–1,000 people4in common
XevantSoftware · 51–200 people6in common
Stackrox (acquired By Red Hat)Software · 51–200 people7in common
Team Mobot, Inc.Engineering, Product and Design · 11–50 people6in common
HovercraftDesign · 11–50 people4in common
Opportunity EducationEducation Management · 11–50 people5in common
TalentHuntersHuman Resources · 11–50 people2in common
StratisManagement Consulting · 11–50 people4in common
More Software companies
Other Software companies we've checked.
Informal Systems tech stack FAQ
What tools does Informal Systems use?
As of November 2026, runsonwhat has found 19 tools at Informal Systems (informal.systems) in public records. Edge & Hosting: Namecheap and Netlify. Application: Font Awesome, YouTube and Next.js. Data & Observability: Google Analytics. Go-to-market: Mailchimp, Calendly and Contentful. Company Ops: Google Workspace, Atlassian and Mailgun. Last checked November 13, 2026.
What cloud does Informal Systems run on?
Informal Systems uses Netlify for hosting and cloud infrastructure, according to runsonwhat (November 2026). runsonwhat found Netlify through a subdomain that points at Netlify and code on informal.systems. Netlify is used by 12,476 companies runsonwhat tracks.
What sales tools does Informal Systems use?
The sales tools runsonwhat has found at Informal Systems are Calendly (November 2026); no CRM shows up in Informal Systems' public records. runsonwhat found Calendly through Calendly code on informal.systems. Calendly is used by 31,495 companies runsonwhat tracks.
What email provider does Informal Systems use?
Informal Systems uses Google Workspace for email and office software, according to runsonwhat (November 2026). runsonwhat found Google Workspace through email records that authorize Google Workspace. Google Workspace is used by 421,819 companies runsonwhat tracks.
What analytics tools does Informal Systems use?
Informal Systems uses Google Analytics for analytics, according to runsonwhat (November 2026). runsonwhat found Google Analytics through Google Analytics code on informal.systems. Google Analytics is used by 904,085 companies runsonwhat tracks.
What is Informal Systems's website built with?
Informal Systems uses Contentful for its website, according to runsonwhat (November 2026). runsonwhat found Contentful through Contentful code on informal.systems. Contentful is used by 4,365 companies runsonwhat tracks.
Does Informal Systems use Font Awesome?
Yes. runsonwhat found Font Awesome at Informal Systems through Font Awesome code on informal.systems. Font Awesome is a Media & UI tool used by 464,721 companies runsonwhat tracks.
Which companies have a tech stack similar to Informal Systems's?
The companies with the stacks most like Informal Systems' are Connecteam, Xevant, Stackrox (acquired By Red Hat) and Team Mobot, according to runsonwhat (November 2026). Each shares 4 to 7 tools with Informal Systems, and rare tools count for more than common ones like Google Workspace, so the match reflects real stack choices.
How does runsonwhat know what Informal Systems uses?
runsonwhat reads public records only. Of the 19 tools at Informal Systems, 7 were found through code on informal.systems, 5 through email records, 4 through DNS records, 2 through subdomains that point at the vendor and 1 through website configuration files. A tool is listed only when a direct record backs it up; DNS is rechecked weekly and informal.systems about monthly.
We read public traces only: DNS and email records, certificate logs, website code and published subprocessor lists. A tool is listed when a direct record backs it up, and dropped when a recheck no longer finds it. Is this your company? See how to opt out.