Site Info - Idris-lang.org

Docutils is a Python-based open-source text processing system for generating documentation in HTML and other formats.

Sphinx is a Python-based tool for creating project documentation, based on Docutils.

Static websites don't use any server-side programming language for generating web pages, but deliver fixed content which is created manually or with an offline tool.

JavaScript is a lightweight, object-oriented, cross-platform scripting language, often used within web pages.

jQuery is a JavaScript library that simplifies HTML document traversing, event handling, animating and Ajax interaction. Originally developed by John Resig.

Underscore is a JavaScript library that provides functional programming support.

Modernizr is a JavaScript library that detects HTML5 and CSS3 features in the visitors browser.

The Apache HTTP Server is an open source web server by the Apache Software Foundation.

Nginx (pronounced as "engine X") is a lightweight open source web server developed by Igor Sysoev.

Cloudflare Server is a web server developed by Cloudflare.

Debian is a Linux distribution.

Read the Docs provides a platform for creating and hosting technical documentation.

Cloudflare provides a content delivery network.

Cloudflare provides DNS servers and other web services.

Gmail is the email service provided by Google.

Let’s Encrypt is a free, automated, and open certificate authority provided by the Internet Security Research Group.

GlobalSign is an IT security service provider, also operating as SSL certificate authority.

The CDNJS is a content distribution network, hosting a large number of JavaScript libraries, provided by CloudFlare.

External Cascading Style Sheets define style rules in a separate CSS file.

Session cookies are temporary cookies, which are deleted when the user closes the browser.

HttpOnly cookies are used only in the HTTP protocol and not in client side scripts, which may increase security.

Non-secure cookies may be used via an unencrypted connections, which may be a security threat.

Gzip (GNU zip) is a file compression algorithm.

A strong ETag is an HTTP header field for validation of cached web pages, that indicates a byte-for-byte identical page in the cache.

A weak ETag is an HTTP header field for validation of cached web pages, that indicates a semantically equivalent page in the cache.

The Internet Protocol version 6 (IPv6) provides amongst others a vastly larger address space than the preceding version 4. We consider a website to support IPv6 if a 128-bit address is assigned to it, regardless of the content delivered at that address.

HTTP/2 is the second major version of the HTTP network protocol.

HTTP/3 is the third major version of the HTTP network protocol, derived from the QUIC protocol.

The websites redirects visitors to its www subdomain, e.g. from example.com to www.example.com.

The websites redirects visitors to use SSL encryption, e.g. from http://example.com/ to https://example.com/.

Microdata is a specification to integrate metadata within existing content on web pages.

HTML5 is the fifth revision of the HTML standard.

UTF-8 (8-bit Unicode Transformation Format) is a variable-length character encoding for Unicode, which is backwards compatible with ASCII.

PNG (Portable Network Graphics) is a lossless compression image format, suitable to store graphics with uniformly colored areas, and originally introduced as a free, open-source successor of GIF.

Organizations