Sprache: Englisch
Charset: utf-8
Description: An interactive learning platform to teach the Ada and SPARK programming languages.
Author: AdaCore
Robots-Anweisung: noindex, nofollow
Viewport: width=device-width, initial-scale=1.0
Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.
Fastly ist ein Anbieter von Cloud-Computing-Diensten. Die Cloud-Plattform von Fastly bietet ein Content-Delivery-Netzwerk, Internet-Sicherheitsdienste, Lastausgleich sowie Video- und Streaming-Dienste.
GitHub Pages ist ein Hosting-Dienst für statische Websites.
Google Analytics ist ein kostenloser Webanalysedienst, der den Website-Verkehr verfolgt und berichtet.
Google Tag Manager ist ein Tag-Management-System (TMS), mit dem Sie Messcodes und zugehörige Codefragmente, die als Tags bezeichnet werden, schnell und einfach auf Ihrer Website oder mobilen App aktualisieren können.
jQuery ist eine JavaScript-Bibliothek, eine kostenlose Open-Source-Software, die das Traversieren und Manipulieren des HTML-DOM-Baums sowie die Ereignisbehandlung, CSS-Animation und Ajax vereinfacht.
JSDelivr ist ein kostenloses öffentliches CDN für Open-Source-Projekte. Es kann Webdateien direkt von der npm-Registry und GitHub-Repositories ohne jegliche Konfiguration bereitstellen.
Open Graph ist ein Protokoll, das dazu dient, jede beliebige Webseite in den Social Graph zu integrieren.
Varnish ist ein Reverse-Caching-Proxy.