Web Technologies Used by antmicro.com

The Apache HTTP Server is free and open-source cross-platform web server software, released under the terms of Apache License 2.0. Apache is developed and maintained by an open community of developers under the auspices of the Apache Software Foundation.

Asciinema is a free and open-source solution for recording terminal sessions and sharing them on the web.

Google Tag Manager is a free tool from Google that enables users to easily add, update, and manage website tags. Tags are snippets of code that allow websites to track activity, such as page visits and clicks, in order to better understand user behavior. Google Tag Manager makes it easy to quickly and easily add, update, and manage website tags without having to manually update code. It also helps to ensure that tags are firing correctly and accurately tracking user activity.

jQuery is a JavaScript library designed to simplify HTML DOM tree traversal and manipulation, as well as event handling, CSS animation, and Ajax. It is free, open-source software using the permissive MIT License.

React is a JavaScript library for building user interfaces. It is maintained by Facebook and a community of individual developers and companies. React can be used as a base in the development of single-page or mobile applications, as it is optimal for fetching rapidly changing data that needs to be recorded.

Google's Font API provides website developers a means by which they may quickly add custom fonts to their website.

Adobe Fonts (formerly Typekit) is an online service which offers a subscription library of high-quality fonts. The fonts may be used directly on websites or synced via Adobe Creative Cloud to applications on the subscriber's computers.

Google Analytics is a web analytics service offered by Google that tracks and reports website traffic. It provides valuable insights into website traffic, user behavior, and marketing performance. With Google Analytics, you can gain insights into your website’s audience, their location, the pages they visit, the content they view, and more. Google Analytics also offers powerful segmentation capabilities and advanced reporting features, allowing you to create custom reports and better understand your website’s performance.