Certora Technology Stack

Amazon CloudFront is a content delivery web service.

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

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.

Cloud based storage systems by AWS.

Amazon WorkMail is a secure, managed business email and calendar service.

Amazon SES is an outbound-only email-sending service built on the reliable and scalable infrastructure.

Twitter is a microblogging and social networking service on which users post and interact with messages known as "tweets".

AWS Route53 is a Cloud DNS service helps in customers to route end user requests to internet applications.

Check Point VPN is the largest network cyber security vendor globally, providing industry-leading solutions and protecting customers from cyberattacks with an unmatched catch rate of malware and other types of threats.

Browser Update is a website widget to inform your visitors unobtrusively to switch to a newer browser.

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.

JavaScript is the programming language of HTML and the Web.

Nginx is a web server which can also be used as a reverse proxy, load balancer, mail proxy and HTTP cache.

PHP: Hypertext Preprocessor is a server-side scripting language designed for Web development, but also used as a general-purpose programming language. PHP code may be embedded into HTML code, or it can be used in combination with various web template systems, web content management systems, and web frameworks.

CodePen is a web-based HTML, CSS, and JavaScript code editor that enables its users to experiment with code right in the browser.

Discourse offers an open source platform for running discussion forums.

Ethereum is an open-source, blockchain-based public distributed computing platform and operating system they are used to codify, decentralize, secure and trade just about anything

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.

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.