claudiux

cinnamon-spices-applets

Applets for the Cinnamon desktop

cinnamon

A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.

cinnamon-desktop

The cinnamon-desktop library (and common settings schemas for the cinnamon desktop)

cinnamon-improvements

Improvements for the Cinnamon desktop

cinnamon-screensaver

The Cinnamon screen locker and screensaver program

cinnamon-spices-actions

Actions for the Cinnamon desktop

cinnamon-spices-desklets

Desklets for the Cinnamon desktop

cinnamon-spices-extensions

Extensions for the Cinnamon desktop

cinnamon-spices-themes

Themes for the Cinnamon desktop

cinnamon-translations

cinnamon-transparent-panels

Transparentize your panels when there are no any maximized windows

Cinnamonitor

Cinnamon Process and GJS Memory Monitor

dieter

STL files for the NumWorks graphing calcultor

docs

Docs about programs and scripts

epsilon

Modern graphing calculator operating system.

fonts

geolocationapi

IP Geolocation API is a free service for locating your visitors in real-time with detailed country information.

gjs-examples

GJS examples showing how to build Gtk javascript applications

internet-radio-list

Internet Radio List

lightdm-settings

A configuration tool for the LightDM display manager

mintupdate

The Linux Mint Update Manager

mpv

🎥 Command line video player

nemo-extensions

A set of extensions for Nemo

pgi-docs-devhelp

Devhelp packages generated by pgi-docgen

radiobrowser-api-rust

radio-browser API implementation in rust

seafile-client

Seafile desktop client.

SpicesUpdate

touchegg

Linux multi-touch gesture recognizer

watermark-cinnamon

Place a watermark on the desktop

WebRadios

Archphile web radio .pls files