# What does AdaCore use? AdaCore (adacore.com) shows public evidence of 27 tools, according to runsonwhat (last checked 2026-11-08). - LinkedIn: https://www.linkedin.com/company/adacore ## Edge & Hosting | Tool | Category | Evidence | Since | |---|---|---|---| | [Cloudflare](https://www.runsonwhat.com/reverse/cloudflare) | CDN & Edge | Website code | | | [Amazon Web Services](https://www.runsonwhat.com/reverse/aws) | Hosting & Cloud | Website code | | | [Amazon Route 53](https://www.runsonwhat.com/reverse/route53) | DNS | DNS records | | ## Application | Tool | Category | Evidence | Since | |---|---|---|---| | [Google Fonts](https://www.runsonwhat.com/reverse/google-fonts) | Media & UI | Website code | | | [Vimeo](https://www.runsonwhat.com/reverse/vimeo) | Media & UI | Website code | | | [YouTube](https://www.runsonwhat.com/reverse/youtube) | Media & UI | Website code | | | [OpenAI](https://www.runsonwhat.com/reverse/openai) | AI | DNS verification records | | ## Data & Observability | Tool | Category | Evidence | Since | |---|---|---|---| | [Google Analytics](https://www.runsonwhat.com/reverse/ga) | Analytics | Website code | | | [Google Tag Manager](https://www.runsonwhat.com/reverse/gtm) | Analytics | Website code | | | [Hotjar](https://www.runsonwhat.com/reverse/hotjar) | Analytics | Website code | | ## Go-to-market | Tool | Category | Evidence | Since | |---|---|---|---| | [Google Ads](https://www.runsonwhat.com/reverse/google-ads) | Ads & Pixels | Website code | | | [LinkedIn Insight Tag](https://www.runsonwhat.com/reverse/linkedin-insight) | Ads & Pixels | Website code | | | [Microsoft Ads](https://www.runsonwhat.com/reverse/bing-ads) | Ads & Pixels | Website code | | | [HubSpot](https://www.runsonwhat.com/reverse/hubspot) | Sales & CRM | Email records, Website code | | | [Salesforce](https://www.runsonwhat.com/reverse/salesforce) | Sales & CRM | Email records, Website code | | | [X Ads](https://www.runsonwhat.com/reverse/x-ads) | Ads & Pixels | Website code | | | [Reddit Ads](https://www.runsonwhat.com/reverse/reddit-ads) | Ads & Pixels | Website code | | | [ServiceNow](https://www.runsonwhat.com/reverse/servicenow) | Support & Docs | Custom domain | 2023-03 | ## Company Ops | Tool | Category | Evidence | Since | |---|---|---|---| | [Google Workspace](https://www.runsonwhat.com/reverse/google-workspace) | Workspace | Email records, Website code | | | [Apple Business](https://www.runsonwhat.com/reverse/apple) | Workspace | DNS verification records | | | [Amazon SES](https://www.runsonwhat.com/reverse/ses) | Email Delivery | Email records, Website code | | | [OneTrust](https://www.runsonwhat.com/reverse/onetrust) | Security & Compliance | Website code | | | [dmarcian](https://www.runsonwhat.com/reverse/dmarcian) | Security & Compliance | Email records | | | [Rippling](https://www.runsonwhat.com/reverse/rippling) | People & HR | DNS verification records | | | [Docker](https://www.runsonwhat.com/reverse/docker) | Dev Tools | DNS verification records | | | [Nitro](https://www.runsonwhat.com/reverse/nitro-pdf) | Collaboration | DNS verification records | | ## FAQ ### What tools does AdaCore use? As of November 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, LinkedIn Insight Tag and Microsoft Ads. Company Ops: Google Workspace, Apple Business and Amazon SES. Last checked November 8, 2026. ### What cloud does AdaCore run on? AdaCore uses Amazon Web Services for hosting and cloud infrastructure, according to runsonwhat (November 2026). runsonwhat found Amazon Web Services through Amazon Web Services code on adacore.com. Amazon Web Services is used by 147,664 companies runsonwhat tracks. ### What CRM does AdaCore use? AdaCore uses HubSpot for its CRM, alongside Salesforce, according to runsonwhat (November 2026). runsonwhat found HubSpot through email records that authorize HubSpot and code on adacore.com. HubSpot is used by 98,093 companies runsonwhat tracks. ### What email provider does AdaCore use? AdaCore uses Google Workspace for email and office software, alongside Apple Business, according to runsonwhat (November 2026). runsonwhat found Google Workspace through email records that authorize Google Workspace and code on adacore.com. Google Workspace is used by 422,576 companies runsonwhat tracks. ### What does AdaCore use for customer support? AdaCore uses ServiceNow for customer support and documentation, according to runsonwhat (November 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 978 companies runsonwhat tracks. ### What analytics tools does AdaCore use? AdaCore uses Google Analytics for analytics, alongside Google Tag Manager and Hotjar, according to runsonwhat (November 2026). runsonwhat found Google Analytics through Google Analytics code on adacore.com. Google Analytics is used by 904,324 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 825,852 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. ### Which companies have a tech stack similar to AdaCore's? The companies with the stacks most like AdaCore's are Genesis Minerals, Keller Group, Vifor Pharma and Power Integrations, according to runsonwhat (November 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. --- Source: runsonwhat, https://www.runsonwhat.com/company/adacore.com (updated November 2026). Counts are companies with direct public evidence of the tool (DNS records, certificates, website code, a real-browser crawl, subprocessor lists), so they are lower bounds. Methodology: https://www.runsonwhat.com/methodology.