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, HR & Staffing 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
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.

117 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
HR & Staffing
Media & Internet
Construction

1-10 of 117 Companies using Agda

Sort companies by

Revenue

1
NVIDIA
Technologies used by the company: 1,520
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,520 technologies
2
Oracle
Technologies used by the company: 2,935
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,935 technologies
3
Vale
Technologies used by the company: 661
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:
Mode
IBM VSAM
Como Sense
See 661 technologies
4
Avolta
Technologies used by the company: 175
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:
Shutterstock
LeanIX
Microsoft Azure
See 175 technologies
5
Assa Abloy
Technologies used by the company: 957
ASSA ABLOY is a global leader in access solutions, dedicated to helping people feel safe, secure, and confident in their environments. The company provides innovative technologies that enable efficient door openings, trusted identity management, and seamless entrance automation for both physical and digital spaces. With a strong worldwide presence, ASSA ABLOY serves a broad range of industries by delivering secure, convenient, and reliable access solutions. Through continuous innovation and a commitment to quality, the company helps create safer and more open environments where people can live, work, and connect. Read more
Additional technologies used by Assa Abloy:
Adobe Illustrator
Dropwizard
Microsoft Project
See 957 technologies
6
Preem
Technologies used by the company: 42
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:
Demand Planning
Twitter for Websites
Microsoft PowerPoint
See 42 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
Image Tool Bar
See 148 technologies
8
Adecco
Technologies used by the company: 600
Adecco is a global workforce solutions provider headquartered in Zurich, Switzerland. Founded in 1992, the company offers comprehensive human resources services including recruitment, staffing, consulting, and talent management solutions across multi ple industries. Operating in 62 countries spanning North America, Europe, Asia Pacific, South America, Africa, and the Middle East, Adecco specializes in connecting businesses with qualified talent while providing career opportunities for job seekers. The company maintains a strong digital presence with mobile applications and online platforms to facilitate its recruitment and placement services. As part of The Adecco Group, the organization delivers both B2B and B2C services, helping organizations optimize their workforce strategies and individuals advance their careers. Read more
Additional technologies used by Adecco:
Adobe Illustrator
MATLAB
Tempest
See 600 technologies
9
Graphic Packaging International
Technologies used by the company: 552
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:
Esko WebCenter
BlackBerry Enterprise Server
Adobe Illustrator
See 552 technologies
10
Puma
Technologies used by the company: 692
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 692 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,

How many companies added the Agda technology in the last month?

6 companies added Agda to their tech stack in the last month.

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?

117 companies are using Agda.

Which industries do companies commonly use Agda for their needs?

Companies in Business Services, Manufacturing, HR & Staffing 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

Get Started with ZoomInfo

Sign Up for Free

Get started for free! No credit card needed. Enjoy up to 25 free contacts each month at no cost.

Supercharge Your Prospecting

Search ZoomInfo's database of 106M+ companies and 140M+ professionals to find your next lead.

Grow Your Business

Reveal both personal and business contact details, including emails and phone numbers, and close your most valuable buyers.

Most Searched Industries

Construction Law Firms & Legal Services Business Services Finance Manufacturing Agriculture Software Accounting & Accounting Services Retail Healthcare Energy, Utilities & Waste Treatment Telecommunications Transportation Real Estate

People Search Company Search

Filter Companies By

Industry

Location

Type

Size

You're signed out.