GNOME Shell Extension. Hides top panel, except in overview.
☆18Feb 20, 2015Updated 11 years ago
Alternatives and similar repositories for hide-top-panel
Users that are interested in hide-top-panel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Mar 11, 2021Updated 5 years ago
- ☆20Oct 21, 2022Updated 3 years ago
- Easy swapping of text in Vim☆20Apr 6, 2020Updated 6 years ago
- Adds new columns to Nautilus, so you can view such metadata information. Besides MP3 and FLAC, the script was also updated to support JPE…☆31Jun 11, 2022Updated 4 years ago
- Short and friendly command wrapper for APT☆12Jan 3, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Enable or disable do not disturb mode on Pop!_OS☆17Apr 19, 2019Updated 7 years ago
- Launcher application for Google Chrome's flatpak on Endless OS☆11Updated this week
- [READ-ONLY] Sylius Hierarchical Role Based Access Control component.☆12Jul 25, 2016Updated 10 years ago
- Automagically issue certificates for encrypted hosts in Aerys.☆12Nov 25, 2015Updated 10 years ago
- ☆17Jul 10, 2026Updated 2 months ago
- ☆12Apr 9, 2025Updated last year
- Refresh/Access JWT authentication server with backend + administration frontend supporting HMAC (HS256 HS384 HS512), RSA (RS256 RS384 RS5…☆12Jul 10, 2026Updated 2 months ago
- Minimalism Gnome Shell Extensions☆29May 22, 2021Updated 5 years ago
- rmarchiv Website Script☆10Aug 8, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 汉字分析工具☆18Aug 20, 2018Updated 8 years ago
- Add an OpenGL renderer to older RPG Maker 2003 games☆13Mar 7, 2022Updated 4 years ago
- Makes my C++ projects easier and faster to develop☆10Jun 15, 2022Updated 4 years ago
- Mickey's DBus Introspection and Interaction Utility V2☆12Apr 7, 2015Updated 11 years ago
- API for bulk_extractor version 1.3☆14Nov 6, 2025Updated 10 months ago
- Emacs screenshot utility using scrot☆12Oct 10, 2023Updated 2 years ago
- Python package for solving initial value problems (IVP) and two-point boundary value problems (2PBVP).☆16Jul 20, 2016Updated 10 years ago
- The EasyRPG project website☆15May 27, 2026Updated 4 months ago
- Deck of Anki Cards covering "Data Structures and Algorithms" as taught by the UC San Diego course on Coursera☆10Jul 25, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- CURRENTLY NOT FUNCTIONAL: A lets-encrypt plugin for Icecast2☆13Mar 4, 2017Updated 9 years ago
- CleverStyle Music Open Web App. Music player for Firefox OS built using open web technologies.☆17Nov 26, 2015Updated 10 years ago
- Show recording macro in neovim lualine☆22Aug 22, 2024Updated 2 years ago
- Port of Python's pdfminer to Lisp☆15Jan 30, 2016Updated 10 years ago
- A GNOME Shell extension that shows favorite app launchers in Super+Tab popup.☆11Mar 24, 2024Updated 2 years ago
- ✍️ A cross-platform Rust library to sign, publish, and check Nanopublications, with bindings to Python and JS (wasm)☆25Mar 2, 2026Updated 6 months ago
- Useful Nautilus Scripts made with☆13Jul 27, 2021Updated 5 years ago
- Cross-platform raster and vector graphics editor☆12Nov 6, 2022Updated 3 years ago
- (mirror) Emacs mode to indent, navigate around and act on indentation units: perfect for yaml, python and the like.☆15Jun 6, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple completion-driven Homebrew management from Emacs☆14Mar 30, 2022Updated 4 years ago
- Gnome shell extension to add transparency to notifications☆12Apr 10, 2021Updated 5 years ago
- Using Pipenv to create wheel and docker image.☆14May 1, 2023Updated 3 years ago
- Fork of https://github.com/sprig/org-capture-extension with org-roam-protocol☆15Feb 18, 2023Updated 3 years ago
- Tiling window manager☆60Jan 19, 2021Updated 5 years ago
- qrezi is a QML based presentation framework inspired by prezi☆16Mar 8, 2023Updated 3 years ago
- 🌟 My own little corner of the Web☆11Aug 28, 2026Updated 3 weeks ago