Drop Down Terminal X extension for the Gnome Shell
☆92Oct 26, 2020Updated 5 years ago
Alternatives and similar repositories for drop-down-terminal-x
Users that are interested in drop-down-terminal-x are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Drop Down Terminal extension for the Gnome Shell☆416Jul 7, 2021Updated 4 years ago
- Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively☆435Updated this week
- Open Ptyxis from Nautilus.☆17Jan 17, 2026Updated 4 months ago
- ☆10May 14, 2026Updated 2 weeks ago
- ☆55Nov 19, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Egg Timer for the Gnome Shell☆12Dec 30, 2020Updated 5 years ago
- Gnome Shell extension for folders synchronization.☆13Sep 26, 2017Updated 8 years ago
- ☆15Sep 1, 2022Updated 3 years ago
- A hobby implementation of an ncurses binding for Idris 2☆17Dec 9, 2024Updated last year
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Bootable live-USB of Arch Linux for the Excito B3 miniserver, with archlinuxarm.org kernel☆12Sep 14, 2018Updated 7 years ago
- It's a GNOME Shell extension adds support quake-mode for any application☆147May 16, 2026Updated last week
- GNOME Shell extension to switch day/night user theme&stylesheet when the enabled Night Light gets inactive/active☆42Updated this week
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- SDL2 Bindings for the Idris programming language☆10Feb 26, 2020Updated 6 years ago
- Keyboard-centric modal code editor, built with nodejs and GTK☆27Aug 3, 2023Updated 2 years ago
- qlogsystem is a very efficient and easy to use logger library written in C++ (using the Qt framework).☆16Jan 21, 2025Updated last year
- Make Gedit use the dark version of your GTK+ theme☆10Dec 9, 2023Updated 2 years ago
- ☆13Jul 19, 2018Updated 7 years ago
- Unicode goodness for Scala code by using vim's “conceal” feature☆18Dec 24, 2014Updated 11 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Integrate your music into Gnome Shell☆35Mar 19, 2012Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- gtk theme☆12Oct 22, 2019Updated 6 years ago
- Portable ASCII and Unicode string manipulation functions for C++.☆21May 14, 2017Updated 9 years ago
- 🌀 [WIP] Cross-platform Multimedia Metascraper☆10May 4, 2023Updated 3 years ago
- This is a simple car detection program written using opencv and python .The code and video files are attached .☆10Mar 28, 2017Updated 9 years ago
- A Git/VCS library, in Lua, for Neovim and Neovim plugins☆10Mar 3, 2021Updated 5 years ago
- A node-gtk application template☆11Sep 28, 2021Updated 4 years ago
- An edge belt sander that can be mostly 3D printed☆13Dec 14, 2024Updated last year
- Rust bindings for the Invidious API☆15Oct 22, 2025Updated 7 months ago
- Commonly used code for projects using ARM Cortex-M with ChibiOS☆16Jun 22, 2016Updated 9 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.
- extension for gnome-shell☆58Sep 4, 2022Updated 3 years ago
- Gnome-Shell wallpaper changing extension with multiple profile support☆83Apr 8, 2026Updated last month
- Gnome extension to track Mullvad connectivity☆23Jan 26, 2026Updated 4 months ago
- A port of the gloss library from Haskell to Idris☆23Jul 9, 2018Updated 7 years ago
- Tools for parsing hungarian legal documents☆18Sep 28, 2022Updated 3 years ago
- My own hooks for Vivaldi☆26Dec 22, 2017Updated 8 years ago
- A multi-threaded GTK 3 application for fetching the lyrics of the current playing song☆17Apr 8, 2021Updated 5 years ago