Top Companies Using Agda

Q: What companies are using Agda?

From the data gathered in Zoominfo, NVIDIA, Oracle, Vale, Avolta, Assa Abloy, are using the Agda technology. You can see the full list in the above results table.

Q: Which industries do companies commonly use Agda for their needs?

Companies in Business Services, Manufacturing, Media & Internet commonly use Agda.

Q: What are the best alternatives for Agda?

According to Zoominfo’s data CSS, PHP, HTML, GraphQL, Lua, are competitors of Agda. For more information, sign up to Zoominfo.

Products
Product
ZoomInfo Copilot
AI sales agent
GTM Workspace
AI workspace for smarter GTM
GTM Studio
Build and run GTM workflows triggered by buying signals
ZoomInfo MCP
Connect your AI to verified B2B data
Sales
Company and contact database
Marketing
Actionable ABM platform
Talent
Source the best and brightest
Operations
Lead routing and data quality
Data as a Service
ZoomInfo data for your GTM systems
Talent Autopilot
AI recruiting agent
Platform
Cloud partners
Ready, set, integrate
Platform overview
Connect industry-leading data across your entire tech stack
Marketplace
Unify teams, strategies, and data-driven technologies
Professional Services
Labs
Bring your AI and data-driven playbook to life
Data services
White glove services for large-scale and complex data requests
Enrich. Segment. Activate.
Solutions
Intelligence
Contact & company search
Define markets, discover ideal buyers
Lead generation
Convert contacts into pipeline
Buyer intent
Reach ready-to-buy prospects
Website visitor tracking
Turn page views into pipeline
Engagement
Sales automation
Streamline phone and email outreach
Conversation intelligence
Analyze every interaction
Website chat
Identify, engage, and route visitors
Web form optimization
Ask for less, deliver more
Ads audiences
Paid social on your target accounts
Orchestration
Workflows
Kickstart go-to-market activities
CRM enrichment
Clean, updated CRM
Predictive modeling
Meet your next customer
Data management
Automate engagement-ready data
Zoominfo in ChatGPT
Verified B2B intelligence in ChatGPT
Enterprise
Transformative solutions for industry leaders
API
Deliver data across business systems & workflows
Our Data
Overview
Global coverage
GTM Developers
Resources
Learn
Blog
Case studies
Resource center
Events
AI sales coach
Free tools
GTM plays
Help center
Company
About us
Careers
Partner program
Newsroom
Pricing

Filter Companies By

You're signed out.

122 companies using this technology

Agda is a functional programming language that supports a wide range of inductive data types, including inductive families and inductive-recursive types, with associated flexible pattern-matching.

Top industries utilizing this technology

Business Services
Manufacturing
Media & Internet
HR & Staffing
Newspapers & News Services

1-10 of 122 Companies using Agda

Sort companies by

Revenue

1
NVIDIA
Technologies used by the company: 1,463
NVIDIA, founded in 1993 and headquartered in Santa Clara, California, is a global technology company specializing in the design and manufacturing of graphics processing units (GPUs), computer hardware, and artificial intelligence computing solutions. The company develops advanced technologies for gaming, professional visualization, data centers, and automotive markets. NVIDIA's products and services power various applications, including high-performance computing, machine learning, autonomous vehicles, and cloud-based AI platforms. Read more
Additional technologies used by NVIDIA:
BlackBerry Enterprise Server
Cinema 4D
Rhinoceros
See 1,463 technologies
2
Oracle
Technologies used by the company: 2,596
Oracle Corporation is a global technology company specializing in the development, marketing, and distribution of Enterprise Software, Cloud Services, and Computer Hardware. Its core business revolves around providing comprehensive IT solutions to bu sinesses, governments, and organizations worldwide. Key offerings include its flagship Oracle Database, a full suite of Cloud Applications (SaaS) like Enterprise Resource Planning (ERP), Human Capital Management (HCM), and Customer Relationship Management (CRM), and the Oracle Cloud Infrastructure (OCI) for Infrastructure-as-a-Service (IaaS). The company operates on a mixed business model combining subscription-based cloud fees with traditional software licenses, hardware sales (servers and storage), and professional consulting services. Strategic acquisitions and heavy investment in AI and R&D drive its mission to enable customers to modernize and automate their entire enterprise stack. Read more
Additional technologies used by Oracle:
BlackBerry Enterprise Server
Cinema 4D
Apache Log4j
See 2,596 technologies
3
Vale
Technologies used by the company: 621
Vale S.A., together with its subsidiaries, produces and sells iron ore, iron ore pellets, nickel, and copper in Brazil and internationally. The company operates through Iron Solutions and Energy Transition Materials segments. The Iron Solutions segme nt produces and extracts iron ore and pellets, and other ferrous products; and provides related logistic services. Read more
Additional technologies used by Vale:
Check Point
SAS (common)
CAPTCHA (common)
See 621 technologies
4
Avolta
Technologies used by the company: 187
Avolta is a global retail company specializing in convenience stores and travel retail operations. Founded in 2020 and headquartered in Switzerland, the company maintains a significant international presence across Europe, North America, Asia-Pacific , Middle East, and South America. Avolta operates extensive retail networks in airports, transportation hubs, and commercial centers, offering consumers convenient shopping experiences with a diverse range of products and services. The company leverages mobile applications and digital solutions to enhance customer engagement while maintaining physical retail locations worldwide. Read more
Additional technologies used by Avolta:
Adobe Illustrator
Idexx Cornerstone
Core
See 187 technologies
5
Assa Abloy
Technologies used by the company: 969
ASSA ABLOY is a Swedish global access-solutions company that develops, manufactures, markets, and provides products and services designed to create safer, more secure, convenient, and efficient access to physical and digital environments. The company operates across residential, commercial, institutional, industrial, hospitality, healthcare, education, government, and infrastructure markets, providing a broad portfolio of mechanical, electromechanical, electronic, digital, and automated access solutions. Its activities encompass door locks, cylinders, keys, access-control systems, identification technologies, security doors, entrance automation, hotel security, digital credentials, smart locks, and related services. Read more
Additional technologies used by Assa Abloy:
Adobe Illustrator
Dropwizard
Microsoft Project
See 969 technologies
6
Preem
Technologies used by the company: 46
Preem AB is a leading producer of renewable fuels, focusing on replacing fossil fuels with sustainable alternatives to enable fossil-free transportation across land, sea, and air. The company is committed to achieving climate neutrality by 2035, with significant investments in renewable production capacity and carbon capture technologies. Preem serves a wide range of clients, including businesses like PostNord, which utilize their Svanen-certified renewable diesel, Preem Redefine HVO100, to meet sustainability goals. With a strong presence in Sweden, Preem plays a crucial role in the country's energy landscape, providing nearly half of the fuel consumed annually. Read more
Additional technologies used by Preem:
Twitter for Websites
Infor (common)
Microsoft 365
See 46 technologies
7
Preem
Technologies used by the company: 148
Established in 1996 and based in Stockholm, Sweden, Preem is an oil and fuel company. The company is a global provider of gasoline, diesel, fuel oil, lubricating oil, renewable fuels and heating oils. Preem also runs a nationwide network of fuel stat ions for both private and commercial traffic in Sweden. Read more
Additional technologies used by Preem:
AJAX
Microsoft 365
Honeywell DCS
See 148 technologies
8
Graphic Packaging International
Technologies used by the company: 547
Graphic Packaging is a company headquartered in Atlanta, Georgia, operating in the consumer packaging industry. It specializes in the design and production of packaging solutions primarily made from renewable and recycled materials, supporting a more sustainable approach to modern packaging needs. The company is recognized for its focus on innovation and environmental responsibility, continuously working to reduce the ecological footprint of packaging used across global markets. Graphic Packaging operates an extensive international network of design and manufacturing facilities that serve some of the worlds most well-known brands in food, beverage, foodservice, household, and other consumer product categories. Through its capabilities and industry expertise, the company plays a significant role in delivering efficient and sustainable packaging solutions worldwide. Read more
Additional technologies used by Graphic Packaging International:
Microsoft Dynamics 365 Business Central
Microsoft Azure
Esko WebCenter
See 547 technologies
9
Puma
Technologies used by the company: 677
PUMA is a sportswear company that designs and sells clothing, shoes, and accessories for men, women, and children. The company provides a wide range of athletic gear and lifestyle apparel, including footwear such as trainers and football boots, and c lothing including tracksuits, hoodies, and activewear. It serves various sports markets, including football, running, motorsport, basketball, golf, and gym and training. PUMA delivers its products through an online shop and physical retail stores, maintaining partnerships with professional teams and athletes such as Manchester City FC, Scuderia Ferrari, and McLaren Racing. Read more
Additional technologies used by Puma:
Celtra
BlackBerry Enterprise Server
Adobe Illustrator
See 677 technologies
10
Dover
Technologies used by the company: 862
Dover Corporation is a diversified global manufacturer of engineered industrial products and solutions. It serves multiple sectors including energy, refrigeration, fluid management, and industrial technologies with a broad portfolio of equipment and automation systems. Observers note its focus on innovation, operational excellence, and long-term partnerships with industrial and commercial customers worldwide. Read more
Additional technologies used by Dover:
BlackBerry Enterprise Server
Adobe Illustrator
Microsoft Project
See 862 technologies

Best Alternatives for Agda

Usage statistics of alternative technologies to Agda, based on Zoominfo's comprehensive dataset

CSS PHP HTML GraphQL Lua Agda

Additional top technologies lists

See additional lists of companies utilizing top technologies, ranked by revenue, size, and funding.

Frequently Asked Questions Regarding Agda

What is the Agda technology?

Agda is a functional programming language that supports a wide range of inductive data types, including inductive families and inductive-recursive types, with associated flexible pattern-matching. For more information,

What is Agda technology’s market share?

Agda market share is <0.01% out of all the technologies in the same category.

What companies are using Agda?

From the data gathered in Zoominfo, NVIDIA, Oracle, Vale, Avolta, Assa Abloy, are using the Agda technology. You can see the full list in the above results table.

How many companies are using Agda?

122 companies are using Agda.

Which industries do companies commonly use Agda for their needs?

Companies in Business Services, Manufacturing, Media & Internet commonly use Agda.

What are the best alternatives for Agda?

According to Zoominfo’s data CSS, PHP, HTML, GraphQL, Lua, are competitors of Agda. For more information,

See more information about Agda