What powers pymor.org?

Caching

Varnish

since Mar 2023

CDN

Fastly

since Mar 2023

Documentation

Sphinx

since Mar 2023

Font scripts

Google Font API

since Mar 2023

JavaScript libraries

jQuery v3.6.0

since Mar 2023

Modernizr

since Mar 2023

Underscore.js

since Mar 2023

Miscellaneous

Pygments

since Mar 2023

PaaS

GitHub Pages

since Mar 2023

OVHcloud

since Mar 2023

UI frameworks

Material Design Lite

since Mar 2023