Highlights
Stars
Let's tweak gnome 43's quick settings! You can add Media Controls, Notifications, Volume Mixer on quick settings and remove useless buttons!
Pass password manager search provider for gnome-shell
Legendary - A free and open-source replacement for the Epic Games Launcher
This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various settings of the desktop recording.
Gnome Shell extension for searching and copying passwords from password-store.org
Package for developing gnome-shell extensions
Emacs client/library for the Language Server Protocol
An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that foun…
SoCo (Sonos Controller) is a Python project that allows you to programmatically control Sonos speakers.
Rack proxy server for development (Crystal port)
Code navigation, documentation lookup and completion for Ruby
Emacs package for highlighting uncommitted changes
Emacs minor mode for Eclipse-like moving and duplications of lines or selections with convenient key bindings.
Angular.js Mobile UI Framework with Bootstrap 3
The easiest way to write a Slack bot in Ruby.
[DEPRECATED] A tool for managing multiple Rust installations
An example of a Rust web service with Iron and Hyper