ChromiumChromium est un navigateur web libre développé par l’organisation Chromium Project créée par Google en 2008. Chromium sert de base à plusieurs autres navigateurs, dont certains open-source (Brave, Iridium...) ou certains propriétaires (Vivaldi Browser, Google Chrome, SRWare Iron, Yandex Browser, Opera & Opera GX, Microsoft Edge). Le moteur de rendu de Chromium s'appelle Blink. Google a remplacé le moteur de rendu WebKit par Blink depuis . Il permettrait de rendre le navigateur plus stable et plus léger.
Navigateur webvignette|upright=2|Chronologie des versions de navigateurs. Un navigateur web, navigateur Web ou fureteur, est un logiciel conçu pour consulter et afficher le World Wide Web. Techniquement, c'est au minimum un client HTTP. Il existe de nombreux navigateurs web pour toutes sortes de matériels (ordinateur personnel, tablette tactile, téléphones mobiles, etc.) et pour différents systèmes d'exploitation (GNU/Linux, Windows, Mac OS, iOS et Android). Dans les années 2010, les plus utilisés sont Google Chrome, Mozilla Firefox, Internet Explorer/Microsoft Edge, Safari, Opera.
Optimizing compilerIn computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.
OperaOpera est un navigateur web gratuit développé initialement par la société norvégienne Opera Software et détenu depuis 2016 par le consortium chinois Golden Brick. Le navigateur est disponible sur PC (Windows, Linux, MacOS) et mobiles (Android et IOS). Opera totalise environ de parts de marché des navigateurs web, et environ sur les mobiles en mars 2021. Depuis sa version 15 en 2013, Opera est basé sur Chromium.
Extension de navigateurUne extension de navigateur est un petit module logiciel permettant de personnaliser un navigateur web. Les navigateurs autorisent généralement une variété d'extensions, y compris les modifications de l'interface utilisateur, la gestion des cookies, le blocage des publicités et la personnalisation des scripts et du style des pages web. Les plug-ins de navigateur sont un type de module distinct. La principale différence est que les extensions ne sont généralement que du code source, mais les plug-ins sont toujours des fichiers exécutables (c'est-à-dire du code objet).
Afficher plus