Robert Mader's repositories
gnome-shell-extended-gestures
Better touchpad gesture handling for GNOME
acme-code
Gnome Shell Extensions etc...
ashpd
A Rust wrapper around XDG portals DBus interfaces
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.
EGL-Registry
EGL API and Extension Registry
linux
Linux kernel source tree
clapper
A GNOME media player built using GJS with GTK4 toolkit and powered by GStreamer with OpenGL rendering.
dino
Modern XMPP ("Jabber") Chat Client using GTK+/Vala
gnome-shell-extension-appindicator
Adds KStatusNotifierItem support to the Shell
gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
libva-intel-driver
libva-intel-driver - free
mfgtools
Freescale/NXP I.MX Chip image deploy tools.
mpv
🎥 Command line video player
obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
python-wayland
Pure Python 3 Wayland protocol implementation
spectre-meltdown-checker
Spectre & Meltdown vulnerability/mitigation checker for Linux
TopIcons-plus
An gnome-shell extension to put the icons back to the tray.
Tuba
Browse the Fediverse
wayland-explorer
Easily browse and read Wayland protocols documentation
webrender
A GPU-based renderer for the web
wleird
A collection a Wayland clients doing weird things, for compositor testing
xdg-desktop-portal
Desktop integration portal
xserver
Xserver mirror