Explore projects
-
Experimental Guix packages for Android development (to build apps and the system itself)
Updated -
My system configurations all in one place :)
Updated -
Julien Lepiller / guix
GNU General Public License v3.0 onlyGNU's advanced distro and transactional package manager — Guix — https://guix.gnu.org/
Updated -
More packages for Guix, not yet accepted upstream or unacceptable
Updated -
Julien Lepiller / guix-coq-channel
GNU General Public License v3.0 onlyGuix channel with multiple versions of coq
Updated