ADACORE
AdaCore is the provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.
ADACORE
Industry:
Apps Security Software
Founded:
1994-01-01
Address:
New York, New York, United States
Country:
United States
Website Url:
http://www.adacore.com
Total Employee:
101+
Status:
Active
Contact:
(212)620-7300
Technology used in webpage:
Domain Not Resolving Amazon Mobile Non Scaleable Content JsDelivr Cloudflare JS CDN JS U.S. Server Location CrUX Top 50m Apple Mobile Web App Capable Amazon Virginia Region
Similar Organizations
AlterMedia, Inc.
AlterMedia is the producer of Studio Suite, a project management application for the media and entertainment industry.
Genetec
Genetec is a Canadian provider of IP video surveillance, access control and license plate recognition solutions in a single platform.
Lamantine Software
Secure your online information, create strong passwords, utilize automatic login & easy one-click form filling.
MagCorp Solutions
MagCorp Solutions is a provider of a PC-based application to assess Medicaid eligibility.
NINJA-IDE
NINJA-IDE is a cross-platform integrated development environment (IDE).
OpenShift
OpenShift is an open hybrid cloud application platform by Red Hat.
Current Advisors List
Board_member
2024-03-01
Current Employees Featured
Tucker Taft Director of Language Research @ AdaCore
Director of Language Research
Cyrille Comar Co-Founder & Managing Director @ AdaCore
Co-Founder & Managing Director
Franco Gasperoni Co-Founder & CEO @ AdaCore
Co-Founder & CEO
1998-10-01
Edmond Schonberg Co-Founder & Vice-President @ AdaCore
Co-Founder & Vice-President
Patrick Rogers Senior Technical Staff @ AdaCore
Senior Technical Staff
Richard Kenner Co-Founder @ AdaCore
Co-Founder
Founder
Acquisitions List
| Date | Company | Article | Price |
|---|---|---|---|
| 2021-02-17 | Componolit | Componolit acquired by AdaCore | N/A |
Newest Events participated
Participated in ARM TechCon
on 2017-10-24 as exhibitor
Participated in TU-Automotive Detroit 2017
on 2017-06-07 as exhibitor
Official Site Inspections
http://www.adacore.com Semrush global rank: 1.23 M Semrush visits lastest month: 22.77 K
- Host name: adacore.com
- IP address: 45.55.40.183
- Location: Clifton United States
- Latitude: 40.8364
- Longitude: -74.1403
- Metro Code: 501
- Timezone: America/New_York
- Postal: 07014
More informations about "AdaCore"
Company | AdaCore
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over twenty years of experience working with the most respected …See details»
About AdaCore
AdaCore - Crunchbase Company Profile & Funding
AdaCore is the provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are …See details»
AdaCore - LinkedIn
AdaCore's mission is to help people build software that matters. In the modern world there is an ever increasing amount of activities that require the integration of software.See details»
AdaCore Company Profile 2024: Valuation, Funding & Investors
AdaCore General Information Description. Developer of software development tools designed for building safe, secure, and reliable software. The company's platform offers a comprehensive …See details»
AdaCore Company Profile - Office Locations, Competitors ... - Craft
AdaCore has 5 employees across 5 locations and €17.53 m in annual revenue in FY 2023. See insights on AdaCore including office locations, competitors, revenue, financials, executives, …See details»
AdaCore Memories: the stories behind the first 30… | The AdaCore …
Oct 8, 2024 As part of our 30 years of AdaCore celebrations, we spoke to some of our founders to discover the stories that built what we are so proud of today. Ed Schonberg and Richard …See details»
AdaCore joins the Rust foundation
Feb 7, 2023 The Rust foundation is a not-for-profit organization with the mission of sustaining and growing a large, participatory, open source ecosystem for the Rust language. ... Fabien …See details»
AdaCore — The First 25 years
In July 2019, AdaCore is turning 25. On the occasion of this significant anniversary, we want to look back on where we have travelled, where we are now, and where we are going, in our …See details»
LEARN.ADACORE.COM
LEARN.ADACORE.COM Edit on GitHub What is Ada and SPARK? Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from …See details»
7. Test Organization — AUnit Cookbook 26.0w documentation
Test Organization 7.1. General considerations This section will discuss an approach to organizing an AUnit test harness, considering some possibilities offered by Ada language features. The …See details»
Learn.adacore.com is here - The AdaCore Blog
Jul 25, 2018 Learn.adacore.com can also help you get started early and gain a competitive advantage ahead of this year’s Make with Ada competition. Posted in #Teaching #Ada …See details»
Services | AdaCore
AdaCore experts can reduce these start-up costs through our Mentorship program, which provides help through a combination of phone calls and consulting on code development. The …See details»
Introduction to Ada — learn.adacore.com
Learn.adacore.com Introduction to Ada This course will teach you the basics of the Ada programming language and is intended for those who already have a basic understanding of …See details»
Our Contribution to the Ada Logo Discussion | The AdaCore Blog
Jan 10, 2023 by Fabien Chouteau – Jan 25, 2023. From time to time we see, here and there, discussions in the Ada community about the design and adoption of a common logo to …See details»
About Ada | AdaCore
Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large …See details»
Announcing Advent of Ada 2024: Coding for a Cause!
4 days ago For each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donate $10 to the Ada Developers Academy, up to a …See details»
Commercial software solutions for Ada, C and C++ | AdaCore
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.See details»
The AdaCore Blog
4 days ago A new year of Capstones: A Recap of the last Projects. As part of the AdaCore GNAT Academic Program, Capstones offers senior higher education students the opportunity …See details»