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
Sorting:
- Display the emms mode line as a ticker☆15Jun 7, 2019Updated 6 years ago
- An gnome-shell extension to put the icons back to the tray.☆39Aug 17, 2019Updated 6 years ago
- Programming exercise - snake game☆24Mar 22, 2018Updated 7 years ago
- Recent Items - an extension for gnome-shell☆32Feb 12, 2025Updated last year
- speed up gnome-shell animations☆88Oct 6, 2025Updated 5 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 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
- Gnome Shell Extension that allows to start and stop systemd services☆80Feb 4, 2021Updated 5 years ago
- Nextcloud talk unofficial desktop client☆13Mar 16, 2023Updated 2 years ago
- Portable pipestatus for UNIX/POSIX shells☆24Jan 8, 2021Updated 5 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- Add /dev/screaming on Linux☆11Aug 18, 2023Updated 2 years ago
- Gentoo ebuilds of the https://github.com/NVIDIA/nvidia-docker☆11Dec 21, 2021Updated 4 years ago
- mod for Factorio adding nixie tubes☆13Nov 7, 2025Updated 3 months ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 10 years ago
- HTML and MD to VanJS Code Converter☆15Jan 26, 2025Updated last year
- An HTTP Client in Haskell Based on Free Monads☆10Dec 31, 2015Updated 10 years ago
- Tmux plugin, keeps track of Mullvad VPN status☆14Aug 24, 2024Updated last year
- Linux Tycoon for DOS☆11May 30, 2013Updated 12 years ago
- ☆13Sep 14, 2022Updated 3 years ago
- Command-line that uses the Docker engine API to present container stats in a terminal dashboard☆11Jan 24, 2017Updated 9 years ago
- Simple command line browser independant bookmark utility.☆46Mar 18, 2021Updated 4 years ago
- ☆12Jul 21, 2022Updated 3 years ago
- Emacs extensions for writing Jekyll post with org-mode☆15Jan 18, 2015Updated 11 years ago
- Simple, lightweight HTTP server with accelerated PHP support☆70Jun 1, 2014Updated 11 years ago
- LUA side of clusterio☆17Mar 15, 2025Updated 11 months ago
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 8 years ago
- Experimental committing AEAD designed by Soatok.☆10Sep 10, 2020Updated 5 years ago
- Simple parallel neural networks implementation in pure Haskell☆12Jan 8, 2018Updated 8 years ago
- Gentoo overlay with yandex things (mostly chromium-based browser)☆12Jan 13, 2026Updated last month
- ☆13Oct 18, 2017Updated 8 years ago
- Internet Management System for LAN Users☆12May 27, 2022Updated 3 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- A Game Boy emulator written in Rust☆11Jul 28, 2019Updated 6 years ago
- Script and template export for Zabbix LLD☆16Jan 20, 2014Updated 12 years ago
- Committing ChaCha20-BLAKE3, XChaCha20-BLAKE3, and XChaCha20-BLAKE3-SIV AEAD implementations.☆12Apr 11, 2022Updated 3 years ago
- part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling☆14Apr 28, 2014Updated 11 years ago
- Gentoo Linux overlay☆11Aug 2, 2025Updated 7 months ago