Nixos est un système d'exploitation basé sur Linux qui utilise le gestionnaire de paquets Nix. Il permet une gestion déclarative de la configuration système, facilitant ainsi la reproduction et le déploiement d'environnements. Nixos offre également un isolement complet des environnements de développement, ce qui permet d'éviter les conflits de dépendances.

Nixpkgs est un ensemble de plus de 40 000 paquets logiciels pouvant être installés avec le gestionnaire de paquets Nix. Il implémente également NixOS, une distribution Linux purement fonctionnelle.

Ce projet vise à apprendre et à maîtriser l'utilisation de Nix, un gestionnaire de paquets et un outil de construction logicielle. Les membres de l'équipe ont suivi des tutoriels et des formations pour comprendre les concepts de base de Nix, tels que les expressions Nix et les dérivations Nix. Ils ont ensuite mis en pratique ces connaissances en créant des dérivations Nix pour des programmes C et en intégrant Nix dans un workflow existant.