GNU Guix
Guix System(以前はGuixSDと呼ばれていた)は、Linuxディストリビューションで、GNU Guixパッケージマネージャを用いて構築されている。このディストリビューションは、宣言的なOSの設定を可能にし、また容易にロールバックできる信頼性のあるシステムをも可能にしている。システムは、GNU Hurdカーネルの開発中のサポートと共に、Linux-libreカーネルを使っている。2015年2月3日、このディストリビューションはFSFのフリーなLinuxディストリビューションのリストに加えられた。