A robust HTML entity encoder/decoder written in JavaScript.

🎥 Command line video player

Music On Console Player

Mint-Yz icons for the Mint-Yz GTK themes

lm-sensors repository

NetworkManager VPN Plugin: Wireguard

Mint-Yz: new colors for a new era

A configuration tool for the LightDM display manager

Devhelp packages generated by pgi-docgen

Modern graphing calculator operating system.

Themes for the Cinnamon desktop

A fast and lightweight IDE

Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features

GJS examples showing how to build Gtk javascript applications

Desklets for the Cinnamon desktop

Modified easy installation package

Manipulate DNS records on various DNS providers in a standardized way.

A set of extensions for Nemo

Upgrade a DokuWiki installation automatically

The Cinnamon Javascript interpreter

Lightweight operating system using Node.js as userspace

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

Window list with app grouping and thumbnails for Cinnamon

Seafile desktop client.

Extensions for the Cinnamon desktop

Applets for the Cinnamon desktop