Budgie (logiciel)Budgie est un environnement de bureau qui utilise les technologies GNOME telles que GTK+. Il est développé par le projet Solus ainsi que par des contributeurs provenant de nombreuses communautés comme openSUSE Tumbleweed, Arch Linux et Ubuntu Budgie. En septembre 2021, le fondateur du projet annonce que du fait de désaccords trop profonds avec la direction prise par le projet GNOME et sa librairie GTK, Budgie 11 sera basé sur la librairie graphique EFL.
Cinnamon (logiciel)Cinnamon (du nom de la cannelle en anglais) est un environnement de bureau, initialement développé par (et pour) Linux Mint. Il s'agit d'un fork de GNOME Shell, qui se veut plus proche de la métaphore du bureau (avec par exemple un menu présentant les applications classées par catégories, plutôt qu'une liste d'icônes) délaissée par GNOME 3.0. Liste des applications spécifiques à Cinnamon : Nemo, gestionnaire de fichiers dérivé de Nautilus ; Muffin, gestionnaire de fenêtres dérivé de Mutter ; Arch Linux Cubu
MATEMATE (prononcer maté à l'espagnole) est un environnement de bureau libre utilisant (dans un premier temps) la boîte à outils GTK+ 3.x et destiné aux systèmes d'exploitation apparentés à UNIX. Il consiste en un fork de GNOME 2 et son nom vient du yerba maté dont les feuilles sont utilisées pour préparer une boisson stimulante en Amérique latine. Afin de permettre une installation sans conflit avec les composants de GNOME 3, plusieurs applications ont été renommées.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
VideoLANVideoLAN est un projet et une association loi de 1901 à but non lucratif créé en 2009, développant et faisant la promotion de solutions libres pour le multimédia. VideoLAN développe et distribue gratuitement sous la licence GPL des logiciels multiplate-formes, plusieurs codecs audio/vidéo et des bibliothèques. Le projet le plus connu de VideoLAN est le lecteur multimédia VLC media player. Les applications et les bibliothèques de VideoLAN permettent aux utilisateurs de diffuser en flux (streaming) et de transcoder une grande variété de formats de média, depuis une source locale ou à travers un réseau informatique.
Répertoire personnelA home directory is a on a multi-user operating system containing for a given user of the system. The specifics of the home directory (such as its name and location) are defined by the operating system involved; for example, Linux / BSD () systems use /home/ or /usr/home/ and Windows systems between 2000 and Server 2003 keep home directories in a folder named Documents and Settings. A user's home directory is intended to contain that user's files; including text documents, music, pictures, videos, etc.
COMMANDCOMMAND (programme exécutable : COMMAND.COM) est un interpréteur de commandes standard pour les systèmes compatibles MS-DOS comme PC-DOS et IBM-DOS. Il est livré par défaut avec ces systèmes. Il existe d'autres interpréteurs pour les systèmes MS-DOS ultérieurs à ce logiciel, notamment 4DOS qui lui ajoute des fonctionnalités supplémentaires. On ne les confondra pas avec Cmd, qui est l'interpréteur de commande standard des systèmes postérieurs à MS-DOS comme Windows NT (Windows 2000, Windows XP...) et OS/2.
Pocket PC (système d'exploitation)vignette|HTC Universal en 2006. vignette|Internet Explorer sur l'O2 XDA IIi. Microsoft Pocket PC est le nom des OS (ou systèmes d’exploitation) de Microsoft pour assistants personnels. Microsoft Pocket PC est l’évolution des versions Windows CE. Il existe actuellement versions de Microsoft Pocket PC (2000, 2002, 2003). L’avant dernière a été rebaptisée Windows Mobile 5.0, sortie aux États-Unis à l’été 2005, en France à l’automne 2005. La dernière version française est la 6.0 sortie en .
