-
frnogueira.github.io Public
Forked from daattali/beautiful-jekyll✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
HTML MIT License UpdatedJan 4, 2022 -
-
fonts Public
Forked from terroo/fontsFonts Terminal Root - My fonts preferred
Shell GNU General Public License v3.0 UpdatedDec 26, 2021 -
jekyll-TeXt-theme Public
Forked from kitian616/jekyll-TeXt-theme💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
SCSS MIT License UpdatedDec 17, 2021 -
arch-update Public
Forked from RaphaelRochet/arch-updateUpdate indicator for ArchLinux and Gnome-Shell
JavaScript GNU General Public License v3.0 UpdatedNov 4, 2021 -
dotfiles-1 Public
Forked from notthebee/dotfilesConfig files for my Linux/Unix workspace
Vim Script UpdatedSep 29, 2021 -
applications-overview-tooltip Public
Forked from RaphaelRochet/applications-overview-tooltipGnome shell extension. Shows a tooltip over applications icons on applications overview.
JavaScript UpdatedDec 23, 2019 -
anarchy-linux Public
Forked from AnarchyLinux/installerAnarchy Linux - An Arch Based Distro
Shell GNU General Public License v2.0 UpdatedSep 3, 2019 -
foliate Public
Forked from johnfactotum/foliateA simple and modern GTK eBook reader
JavaScript GNU General Public License v3.0 UpdatedAug 27, 2019 -
uberwriter Public
Forked from ApostropheEditor/ApostropheA distraction free Markdown editor for GNU/Linux made with GTK+
Python GNU General Public License v3.0 UpdatedMay 25, 2019 -
dash-to-panel Public
Forked from home-sweet-gnome/dash-to-panelAn 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…
JavaScript GNU General Public License v2.0 UpdatedMar 28, 2019 -
emoji-selector-for-gnome Public
Forked from maoschanz/emoji-selector-for-gnomeThis extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clipboard. It will be less ugly if you have « Twitter Color Emoji » or « EmojiOne Color » font installed…
JavaScript GNU General Public License v3.0 UpdatedNov 10, 2017 -
More-columns-in-applications-view Public
Forked from maoschanz/More-columns-in-applications-viewSet the number of columns in the "applications" view.
JavaScript GNU General Public License v3.0 UpdatedNov 10, 2017 -
appfolders-manager-gnome-extension Public
Forked from maoschanz/appfolders-manager-gnome-extensionA GNOME extension allowing easy management of "appfolders" directly from the "applications view".
JavaScript GNU General Public License v3.0 UpdatedNov 1, 2017 -
obmin Public
Forked from konkor/obminGnome File Sharing Server
JavaScript GNU General Public License v3.0 UpdatedSep 29, 2017 -
gnome-system-menu Public
Forked from jonnius/gnome-system-menuGnome-Shell extension that creates a system menu on top panel
JavaScript GNU General Public License v2.0 UpdatedSep 14, 2017 -
package-management Public
Forked from solus-project/package-managementPython Other UpdatedSep 9, 2017 -
gnome-wallpaper-changer Public
Forked from Jomik/gnome-wallpaper-changerGNOME extension to change wallpaper from providers
JavaScript MIT License UpdatedJun 7, 2017 -
Cnchi Public
Forked from Antergos/CnchiA modern, flexible system installer for Linux
Python GNU General Public License v3.0 UpdatedMay 16, 2017 -
Simple animated GIF screen recorder with an easy to use interface
Vala GNU General Public License v3.0 UpdatedMay 3, 2017 -
YouTube-Notifications Public
Forked from Wassup789/YouTube-NotificationsA Chrome extension created to notify users when a new video is uploaded on YouTube
-
dash-to-dock Public
Forked from micheleg/dash-to-dockA dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
JavaScript GNU General Public License v2.0 UpdatedApr 17, 2017 -
gnome-shell-extensions-mediaplayer Public
Forked from webmastak/gnome-shell-extensions-mediaplayerA mediaplayer indicator for the gnome-shell.
JavaScript GNU General Public License v2.0 UpdatedMar 31, 2017 -
flatpak Public
Forked from flatpak/flatpakLinux application sandboxing and distribution framework (formerly xdg-app)
C GNU Lesser General Public License v2.1 UpdatedJan 10, 2017 -
workspaces-to-dock Public
Forked from passingthru67/workspaces-to-dockA gnome shell extension that transforms the workspaces into an intellihide dock
JavaScript GNU General Public License v3.0 UpdatedDec 12, 2016 -
dynamic-panel-transparency Public
Forked from ewlsh/dynamic-panel-transparencyAdds Transparency To The Gnome Shell Panel
JavaScript GNU General Public License v2.0 UpdatedSep 29, 2016 -
randwall Public
Forked from rodakorn/randwallGnome shell extension "Random Walls" for gnome 3
-
WebClient Public
Forked from mallocnode/WebClientOfficial AngularJS Web Client for ProtonMail
JavaScript Other UpdatedApr 22, 2016 -
terminix Public
Forked from gnunn1/tilixA tiling terminal emulator for Linux using GTK+ 3
D Mozilla Public License 2.0 UpdatedApr 19, 2016 -
{{ message }}