A GNOME shell extension to show legacy tray icons in the top bar.
☆13Oct 31, 2016Updated 9 years ago
Alternatives and similar repositories for topicons
Users that are interested in topicons are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Display the emms mode line as a ticker☆15Jun 7, 2019Updated 7 years ago
- An gnome-shell extension to put the icons back to the tray.☆39Aug 17, 2019Updated 6 years ago
- Recent Items - an extension for gnome-shell☆32Feb 12, 2025Updated last year
- ☆13Apr 30, 2016Updated 10 years ago
- Linux Tycoon for DOS☆13May 30, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- speed up gnome-shell animations☆89Mar 11, 2026Updated 3 months ago
- ☆17Feb 8, 2018Updated 8 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Tmux plugin, keeps track of Mullvad VPN status☆15Aug 24, 2024Updated last year
- Compositor-friendly patch for Xsnow☆36Nov 28, 2022Updated 3 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- An gnome-shell extension to put the icons back to the tray.☆671May 31, 2023Updated 3 years ago
- A sample PoC for container-aware exec events for osquery☆26Feb 15, 2024Updated 2 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- CHIP-8 virtual machine implementation in the Rust programming language☆13Jul 11, 2015Updated 10 years ago
- gnome-shell-extension☆23Jul 24, 2022Updated 3 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- Gnome Shell Extension that allows to start and stop systemd services☆81Feb 4, 2021Updated 5 years ago
- A script in emacs-lisp to track some statistics about emacs package archives.☆13Dec 3, 2015Updated 10 years ago
- External link tracking tool for Wikimedia partnerships☆11Oct 3, 2025Updated 9 months ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- ☆16Aug 20, 2019Updated 6 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Skype icon wrapper for linux☆17Apr 29, 2016Updated 10 years ago
- Polymorphic directed graphs☆12Apr 10, 2017Updated 9 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Simple command line browser independant bookmark utility.☆46Mar 18, 2021Updated 5 years ago
- Writing my first emulator in Rust☆13Apr 25, 2018Updated 8 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years ago
- Assistant for finding strongholds in Minecraft without wasting Eyes of Ender☆14Feb 19, 2014Updated 12 years ago
- Isolate workspaces in Gnome Shell☆21Feb 19, 2024Updated 2 years ago
- 项目管理 DEMO☆10May 18, 2023Updated 3 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.
- Simple, lightweight HTTP server with accelerated PHP support☆70Jun 1, 2014Updated 12 years ago
- Project-wide flycheck errors☆15Oct 31, 2020Updated 5 years ago
- Script and template export for Zabbix LLD☆16Jan 20, 2014Updated 12 years ago
- Official Avant Window Navigator Extras repository☆20Dec 4, 2015Updated 10 years ago
- Apathy // Atom Syntax Theme☆14Jan 16, 2026Updated 5 months ago
- An extensible home automation framework☆70Sep 30, 2015Updated 10 years ago
- Polyfill for BarcodeDetector, part of shape detection api☆13Jul 8, 2017Updated 8 years ago