federicofavale's Stars
philbot9/gnome-shell-minimum-workspaces
Set a minimum number of dynamic workspaces.
webmastak/gnome-shell-extensions-mediaplayer
A mediaplayer indicator for GNOME Shell 3.18+.
pulb/mailnag-gnome-shell
Mailnag GNOME-Shell extension
kazysmaster/gnome-shell-extension-lockkeys
Numlock and Capslock indicator for gnome-shell
ubuntu/gnome-shell-extension-appindicator
Adds KStatusNotifierItem support to the Shell
lucasdiedrich/gnome-display-switcher
DISABLED - An easy way to cycle between display modes on Gnome Shell 3.12+: https://extensions.gnome.org/extension/1030/display-switcher/
kgshank/gse-disconnect-wifi
Gnome Shell Extension - Disconnect Wifi
windsorschmidt/disable-workspace-switcher-popup
Gnome Shell 3 extension that disables the arrow displayed during workspace switching
neffo/bing-wallpaper-gnome-extension
GNOME shell extension that syncs your desktop & lock screen wallpaper to Microsoft Bing's Image of the Day.
Tudmotu/gnome-shell-extension-bettervolume
Gnome-Shell extension allowing better interaction with the volume indicator, via mouse scroll/middle-button
brendaw/add-username-toppanel
Simple GNOME Extension to add your username to topbar panel aggregate menu.
nls1729/acme-code
Gnome Shell Extensions etc...
dsheeler/CoverflowAltTab
Coverflow like Alt-Tab replacement for Gnome-Shell
johannesjo/gnome-shell-extension-window-session-manager
An indicator that let's you save and restore your open apps and the window positions and arrangements over multiple real and virtual displays.
yomun/gnome-backup-tools
GNOME Shell Extensions - Backup Tools / 备份工具
Foundry376/Mailspring
:love_letter: A beautiful, fast and fully open source mail client for Mac, Windows and Linux.
hardpixel/unite-shell
Unite is an extension that makes GNOME Shell look like Ubuntu Unity Shell.
ohmyzsh/ohmyzsh
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.
Powerlevel9k/powerlevel9k
Powerlevel9k was a tool for building a beautiful and highly functional CLI, customized for you. P9k had a substantial impact on CLI UX, and its legacy is now continued by P10k.
athityakumar/colorls
A Ruby gem that beautifies the terminal's ls command, with color and font-awesome icons. :tada:
caiogondim/bullet-train.zsh
:bullettrain_side: An oh-my-zsh shell theme based on the Powerline Vim plugin
Linuxbrew/brew
:beer::penguin: The Homebrew package manager for Linux
yunchih/ORB-SLAM2-GPU2016-final
AlejandroSilvestri/os1
Doxygen para os1: OrbSlam2 comentado y modificado para pruebas de monocular slam.
mpiannucci/gnome-shell-extended-gestures
Better touchpad gesture handling for GNOME
yozoon/gnome-shell-extension-blyr
Apply a Blur Effect to GNOME Shell UI elements
mmozeiko/RcloneBrowser
Simple cross platform GUI for rclone
rclone/rclone
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files
gkarsay/parlatype
GNOME audio player for transcription
maoschanz/appfolders-manager-gnome-extension
A GNOME extension allowing easy management of "appfolders" directly from the applications grid.