Pinned

1. gnome-quicksettings-audio-devices-hider-extension gnome-quicksettings-audio-devices-hider-extension Public

   A Gnome Shell extension that allows you to hide selected devices from the Quick Settings audio devices panel

   TypeScript 18 2

2. gnome-do-not-disturb-while-screen-sharing-or-recording-extension gnome-do-not-disturb-while-screen-sharing-or-recording-extension Public

   A Gnome Shell extension that automatically switches on the "Do Not Disturb" mode while screen sharing or screen recording

   TypeScript 18

3. puff puff Public

   Puff is a CLI tool that manages private configuration files of your dev projects

   Rust 1

4. air-quality-sensor air-quality-sensor Public

   Air Quality Sensor on the AVR platform - hardware + firmware

   C++

5. vuepress-plugin-feedback-panel vuepress-plugin-feedback-panel Public

   A configurable feedback widget plugin for Vuepress 1.x

   Vue 2

6. gnome-peek-top-bar-on-fullscreen-extension gnome-peek-top-bar-on-fullscreen-extension Public

   Gnome Extension that triggers top panel to show up on full screen apps when cursor hovers the top edge of the screen

   TypeScript 21