Philipp Emanuel Weidmann's starred repositories
dash-to-dock
A 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.
gnome-pomodoro
A time management utility for GNOME based on the pomodoro technique!
sbt-assembly
Deploy über-JARs. Restart processes. (port of codahale/assembly-sbt)
gnome-shell-system-monitor-applet
Display system informations in gnome shell status bar, such as memory usage, cpu usage, network rates…
MagicPython
Cutting edge Python syntax highlighter for Sublime Text, Atom and Visual Studio Code. Used by GitHub to highlight your Python code!
arc-firefox-theme
Arc Firefox Theme
bash-preexec
⚡ preexec and precmd functions for Bash just like Zsh.
vertex-theme
Vertex is a theme for GTK 3, GTK 2, Gnome-Shell and Cinnamon
fontconfig-ultimate
freetype2-infinality run-time settings => infinality compatible fontconfig => infinality-bundle
firefox-gnome
GNOME 3 theme for Firefox (previously known as Adwaita)
GnomeShell_DynamicTopBar
This extension is in low-maintenance mode, see disclaimer in README
AES-GCM-Python
A Python implementation of the authenticated encryption mode Galois/Counter Mode (GCM).
atom-gtk-dark-theme
Toggles the dark theme variant for Atom windows on GTK+3