 Linux Mint actively develops software for its operating system.Most of the development is done in Python and the source code is available on GitHub.The Cinnamon desktop environment is a fork of GNOME Shell based on the innovations made in Mint Gnome Shell Extensions (MGSE).