AdaCore Technology Stack

Ada is a computer software company that features a chatbot-based platform that helps enterprise businesses to automate customer experience.

Dropbox is an off-site server for file syncing, storage and sharing which allows users to save & share files of any format & access them anywhere, on any device.

PixaBay is a platform for sharing photos, illustrations, vector graphics, film footage and music, exclusively under the custom Pixabay license for free.

Slack is a single workspace that connects users with the people and tools they work with everyday, no matter where they are or what they do.

Zendesk is a cloud-based customer service software solution trusted by over 40,000 organizations worldwide. Companies such as Groupon, Box, and Zappos are using Zendesk to lower costs, raise productivity, and increase customer satisfaction.

Amazon Elastic Compute Cloud is a web service that provides resizable compute capacity in the cloud.

Android is a mobile operating system based on a modified version of the Linux kernel and other open source software, designed primarily for touchscreen mobile devices such as smartphones and tablets.

Docker is an open platform that enables developers and system administrators to create distributed applications.

Linux is a family of open source Unix-like operating systems based on the Linux kernel.

Terraform is a tool for building, changing, and versioning infrastructure safely and efficiently.

ASP.net is an open source framework for building web applications and services with .NET and C#.

Bootstrap is a free and open-source front-end framework for designing websites and web applications. It contains HTML and CSS-based design templates for typography, forms, buttons, navigation and other interface components, as well as optional JavaScript extensions.

C++ is a high-level, general-purpose programming language created by Bjarne Stroustrup as an extension of the C programming language, or "C with Classes".

Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.

Hypertext Markup Language (HTML) is the standard markup language for documents designed to be displayed in a web browser. It can be assisted by technologies such as Cascading Style Sheets (CSS) and scripting languages such as JavaScript.

Java is a programming language and computing platform.

JavaScript is the programming language of HTML and the Web.

jQuery is a cross-platform JavaScript library designed to simplify the client-side scripting of HTML. It is free, open-source software using the permissive MIT License. Web analysis indicates that it is the most widely deployed JavaScript library by a large margin.

AWS Config is a service that enables users to assess, audit, and evaluate the configurations of AWS resources. Config continuously monitors and records AWS resource configurations and allows to automate the evaluation of recorded configurations against desired configurations.

Cloudflare Content Delivery Network (CDN) is a geographically distributed group of servers that ensure fast delivery of Internet content, including HTML pages, JavaScript files, stylesheets, and images.

GitHub is a place to share code with friends, co-workers, classmates, and complete strangers, helping individuals and teams to write faster, better code.

GNU Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. Make gets its knowledge of how to build program from a file called the makefile, which lists each of the non-source files and how to compute it from other files.

Kubernetes helps to manage a cluster of Linux containers as a single system to accelerate development and simplify operations.

YouTube is a video sharing service where users can watch, like, share, comment and upload their own videos. The video service can be accessed on PCs, laptops, tablets and via mobile phones.

AWS Identity and Access Management (IAM) enables users to manage access to AWS services and resources securely.

AWS IoT offers services for all layers of security, including preventive security mechanisms, like encryption and access control to device data, and a service to continuously monitor and audit configurations.

ForeScout CounterACT is a security solution that dynamically identifies and evaluates network infrastructure, devices and applications.

NICE Systems is an Israel-based company specializing in telephone voice recording, data security, and surveillance.

Camtasia by TechSmith is a software suite for screencasting and video tutorial creation.

HappyFox Help Desk is a cloud-based customer relationship management solution that provides help desk and ticketing solutions to businesses across various industries

Cisco WebEx is a cloud-based communication & collaboration app which combines screen sharing with voice & video conferencing, call recording, mobile apps & more.

Gitter is a group chat for the teams on GitHub.

Gmail is a free, advertising-supported email service offered as part of Google's G Suite, with 15GB of storage, color-coded inbox filters and unsend button.

GoToWebinar is a collaboration tool user can use to conduct "do-it-yourself"" webinars

G Suite is a suite of apps from Google which offers a number of tools to communicate and collaborate with colleagues, store files, and manage data.

ON24 webcasting and virtual communications solutions provide corporations with the power to engage global audiences with interactive, live content for marketing, training and corporate communications. Their industry-leading platform helps organizations to communicate with employees and clients.

Egencia is a corporate travel management system.

EventsAIR is a cloud-based event management software for conference planning, perfect for any type and size of the event. 

Facebook is a social networking site that makes it easy for people to connect and share with family and friends online.

Google Tag Manager helps marketers control the end-to-end process of adding website tags.

Targeted advertising on LinkedIn

LinkedIn Login is an​ authentication solution that lets users sign in with their professional identity.

reddit: the front page of the internet

ShareThis' social media buttons and insights provides social intelligence in real time analytics for brands, publishers and developers.

SurveyMonkey is a free online survey tool that allows users to create surveys, distribute them through multiple channels, and analyze the responses.

Flock is a collaborative messaging app for teams it enables users to discuss projects & find & share information & ideas effectively & efficiently.

Hello Talent is a cloud-based application to source, screen, share and manage candidates.

Google Analytics allows users to measure sales & conversions, plus gain fresh insights into how visitors use sites, & how they arrived on site.

Google Sheets is a spreadsheet program for data analysis.

Microsoft Office is a suite of desktop productivity applications and client and server software designed for data analysis, presentations and numeric manipulations.

JUnit is a unit testing framework for the Java programming language. JUnit has been important in the development of test-driven development, and is one of a family of unit testing frameworks which is collectively known as xUnit that originated with SUnit.

NVIDIA designs graphics processing units for the gaming and professional markets, as well as system on a chip units for the mobile computing and automotive market.

Simulink is a block diagram environment for Model-Based Design. It supports simulation, automatic code generation, and continuous testing of embedded systems.