AdaCore's tech stack
What does AdaCore use?
AdaCore (adacore.com) uses at least 27 tools we can see from public records, including Amazon Web Services for hosting, Google Workspace for email and documents, HubSpot for sales and ServiceNow for customer support. Last checked .
- Company page
- Tools found
- 27
- Categories
- 16
- Oldest proven tool
- Mar 2023
- Changes seen
- 7
AdaCore's stack, layer by layer
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
3 tools, where the bytes are served from
Application
4 tools, what the product is built with
Data & Observability
3 tools, what they measure and store
Go-to-market
9 tools, how they find and keep customers
Marketing
Ads & Pixels
Sales & CRM
Support & Docs
Company Ops
8 tools, what the team runs on day to day
Email Delivery
Collaboration
Dev Tools
People & HR
Security & Compliance
What changed at AdaCore
Recent starts and stops
- StartedMicrosoft Ads
- StartedGoogle Ads
- StartedHotjar
- StartedReddit Ads
- StartedVimeo
- StartedX Ads
- StartedYouTube
Using since
Dates come from the first certificate of the subdomain that points at the tool.
Companies like AdaCore also use
Tools common among companies with a similar stack that we haven't found at AdaCore.
Companies with a stack like AdaCore's
Ranked by shared tools, with rare tools counting more.
Vifor Pharma (Switzerland)Pharmaceuticals5in common
MagnitHuman Resources · 1,001–5,000 people10in common
Worleyworley.com8in common
Genesis Minerals LimitedMining & Metals · 201–1,000 people7in common
Power Integrationspower.com8in common
SteelcaseIndustrial Manufacturing · 10,000+ people12in common
IMDEXimdexlimited.com8in common
Norsk Tippingnorsk-tipping.no6in common
AdaCore tech stack FAQ
What tools does AdaCore use?
As of October 2026, runsonwhat has found 27 tools at AdaCore (adacore.com) in public records. Edge & Hosting: Cloudflare, Amazon Web Services and Amazon Route 53. Application: Google Fonts, Vimeo and YouTube. Data & Observability: Google Analytics, Google Tag Manager and Hotjar. Go-to-market: Google Ads, Microsoft Ads and LinkedIn Insight Tag. Company Ops: Google Workspace, Apple Business and Amazon SES. Last checked October 21, 2026.
What cloud does AdaCore run on?
AdaCore uses Amazon Web Services for hosting and cloud infrastructure, according to runsonwhat (October 2026). runsonwhat found Amazon Web Services through Amazon Web Services code on adacore.com. Amazon Web Services is used by 145,984 companies runsonwhat tracks.
What CRM does AdaCore use?
AdaCore uses HubSpot for its CRM, alongside Salesforce, according to runsonwhat (October 2026). runsonwhat found HubSpot through email records that authorize HubSpot and code on adacore.com. HubSpot is used by 94,752 companies runsonwhat tracks.
What email provider does AdaCore use?
AdaCore uses Google Workspace for email and office software, alongside Apple Business, according to runsonwhat (October 2026). runsonwhat found Google Workspace through email records that authorize Google Workspace and code on adacore.com. Google Workspace is used by 405,358 companies runsonwhat tracks.
What does AdaCore use for customer support?
AdaCore uses ServiceNow for customer support and documentation, according to runsonwhat (October 2026). runsonwhat found ServiceNow through a subdomain that points at ServiceNow, and AdaCore has used it since at least March 2023. ServiceNow is used by 940 companies runsonwhat tracks.
What analytics tools does AdaCore use?
AdaCore uses Google Analytics for analytics, alongside Google Tag Manager and Hotjar, according to runsonwhat (October 2026). runsonwhat found Google Analytics through Google Analytics code on adacore.com. Google Analytics is used by 888,679 companies runsonwhat tracks.
How long has AdaCore used ServiceNow?
AdaCore has used ServiceNow since at least March 2023, going by the first public certificate of the adacore.com subdomain that points at ServiceNow.
Does AdaCore use Google Fonts?
Yes. runsonwhat found Google Fonts at AdaCore through Google Fonts code on adacore.com. Google Fonts is a Media & UI tool used by 815,237 companies runsonwhat tracks.
Does AdaCore use AI tools?
Yes. runsonwhat has found OpenAI at AdaCore; OpenAI, for example, through a DNS verification record for OpenAI. AI services called only from servers leave no public trace, so AdaCore may use more AI tools than these.
Has AdaCore changed tools recently?
Yes. On runsonwhat's rechecks, AdaCore started using Microsoft Ads, Google Ads and Hotjar (latest on October 21, 2026). A change counts only between two checks of adacore.com done the same way.
Which companies have a tech stack similar to AdaCore's?
The companies with the stacks most like AdaCore's are Vifor Pharma (Switzerland), Magnit, Worley and Genesis Minerals, according to runsonwhat (October 2026). Each shares 5 to 10 tools with AdaCore, and rare tools count for more than common ones like Google Workspace, so the match reflects real stack choices.
How does runsonwhat know what AdaCore uses?
runsonwhat reads public records only. Of the 27 tools at AdaCore, 14 were found through code on adacore.com, 7 through DNS records, 5 through email records and 1 through subdomains that point at the vendor. A tool is listed only when a direct record backs it up; DNS is rechecked weekly and adacore.com 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.