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 7 years ago
- Recent Items - an extension for gnome-shell☆32Feb 12, 2025Updated last year
- Linux Tycoon for DOS☆13May 30, 2013Updated 13 years ago
- A Messaging Menu for the Gnome Shell☆25Nov 9, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Variables for numerous ascii emojis!☆16Jun 23, 2017Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- A YAML-based configuration library for Rust☆13Aug 6, 2019Updated 7 years ago
- Arch Linux pacman mirrorlist update utility☆18Jan 4, 2021Updated 5 years ago
- a Unix command line utility to filter stdin by column numbers☆11Jul 9, 2016Updated 10 years ago
- Compositor-friendly patch for Xsnow☆36Nov 28, 2022Updated 3 years ago
- Incremental, zero-copy UTF-8 decoding for Rust☆25Jan 21, 2023Updated 3 years ago
- Portable pipestatus for UNIX/POSIX shells☆24Jan 8, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 12 years ago
- Tmux plugin, keeps track of Mullvad VPN status☆14Aug 24, 2024Updated 2 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Jul 11, 2015Updated 11 years ago
- "dist-get" is the successor of the Ultilex project. It allows you to create and manage set of live Linux distributions in easy way, with …☆12May 19, 2017Updated 9 years ago
- An gnome-shell extension to put the icons back to the tray.☆667May 31, 2023Updated 3 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 9 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Command-line that uses the Docker engine API to present container stats in a terminal dashboard☆11Jan 24, 2017Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tools for generating .SRCINFO files and PKGBUILD data extraction☆40Apr 27, 2019Updated 7 years ago
- Testing some x86 jit'y things in Rust☆11Jul 28, 2016Updated 10 years ago
- External link tracking tool for Wikimedia partnerships☆11Oct 7, 2026Updated last week
- A universal package manager wrapper for unix based systems☆12Feb 10, 2019Updated 7 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Unicode symbols for ZSH☆15Nov 8, 2019Updated 6 years ago
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- pre-release.☆12Jul 15, 2015Updated 11 years ago
- Gentoo ebuilds of the https://github.com/NVIDIA/nvidia-docker☆11Dec 21, 2021Updated 4 years ago
- Assistant for finding strongholds in Minecraft without wasting Eyes of Ender☆14Feb 19, 2014Updated 12 years ago
- Polymorphic directed graphs☆12Apr 10, 2017Updated 9 years ago
- Util-Linux Cheat Sheet☆15Sep 8, 2012Updated 14 years ago
- a sample net game server. contain a gateway, logicserver and a console client.☆10Aug 14, 2014Updated 12 years ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago