Set dark window headers on a per-application basis
☆14Jan 21, 2021Updated 5 years ago
Alternatives and similar repositories for dark-headers
Users that are interested in dark-headers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 11, 2025Updated last year
- tramp support for toolbox containers☆17May 3, 2023Updated 2 years ago
- Lyrics plugin for AIMP music player☆13Dec 6, 2022Updated 3 years ago
- A random name chooser for vala☆10Aug 30, 2021Updated 4 years ago
- Isometric real-time strategy game, with a twist - command lines cannot cross☆14Oct 27, 2025Updated 5 months 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.
- GNOME Shell extension to hide the cursor on inactivity☆38Apr 3, 2026Updated 2 weeks ago
- A natural language parser using Jay Earleys well-known algorithm.☆17Jan 28, 2022Updated 4 years ago
- Some Rainmeter skins I did when I was bored☆14Oct 23, 2021Updated 4 years ago
- An Ajax Common Lisp Library using parenscript to generate javascript and hunchentoot (for now) as the web server. Basically a fork and re…☆18Jun 29, 2017Updated 8 years ago
- for spicetify-theme☆11Nov 26, 2023Updated 2 years ago
- Python script converts XML to JSON or the other way around☆23Sep 28, 2010Updated 15 years ago
- DragMath is a drag and drop equation editor in the form of a Java applet. Once an expression is created the user can convert it into a va…☆16Dec 22, 2013Updated 12 years ago
- Use rofi to search files and directories with fd and open them with xdg-open☆13May 12, 2019Updated 6 years ago
- A GNOME Shell extension that allows the creation of scaled-down window clones for use as Picture-in-Picture (PIP) thumbnails☆59Mar 25, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The ZA implementation of Wazimap, a Django application for exploring census and other similar data☆18Jul 18, 2024Updated last year
- Identify temporary Emacs diversions and automatically return to original location☆16Sep 2, 2025Updated 7 months ago
- VOrg 是一个简单 VS Code 扩展，为 Org-mode 文档提供完整的编辑和预览体验，借助 VS Code 提升 org-mode 的编辑体验☆18Apr 8, 2026Updated last week
- A GUI proxy client in GTK+3. Based on Clash.☆14Feb 12, 2019Updated 7 years ago
- ☆27Aug 10, 2022Updated 3 years ago
- Non-Pedantic Time module for Python☆20Jan 29, 2018Updated 8 years ago
- PDF reader extension for falkon☆10Sep 24, 2020Updated 5 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆47Mar 16, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/osmosis-srtm-plugin☆12Feb 11, 2022Updated 4 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.
- The show notes for the Discovering Emacs podcast. 🎙️☆35Sep 6, 2023Updated 2 years ago
- A gomoku AI based on Alpha Zero paper.☆12May 1, 2023Updated 2 years ago
- This is the official mirror repository to Graphs, the source repository is now hosted on the GNOME GitLab here: https://gitlab.gnome.org/…☆71Updated this week
- An s-expression representation of GraphViz DOT Language☆26Nov 23, 2020Updated 5 years ago
- An all in one file manager☆31Dec 1, 2025Updated 4 months ago
- Rust-based pacman hook that prevents upgrades when Arch News requires manual intervention.☆18Feb 5, 2026Updated 2 months ago
- Fork of synergy android to make it compatible with barrier☆20Jun 3, 2021Updated 4 years ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 3 years ago
- A Simple Pomodoro Timer for Elementary OS☆12Jul 14, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Github action for building archlinux packages☆13Jan 16, 2023Updated 3 years ago
- Qt5 Graphical MPD Client☆12Jan 16, 2025Updated last year
- A Flatpak build of emacs from a combined pure-gtk and native comp branch☆36Apr 9, 2024Updated 2 years ago
- Control aria2c commandline tool from Emacs☆11Mar 15, 2023Updated 3 years ago
- Binding conditionals☆20Feb 1, 2026Updated 2 months ago
- Windows IME patches for Emacs in the MSYS2 environment☆10Apr 17, 2025Updated last year
- pomodoro daemon (archived, use morgant/pomod fork)☆19Aug 7, 2025Updated 8 months ago