A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
☆12Nov 8, 2021Updated 4 years ago
Alternatives and similar repositories for dash-to-dock
Users that are interested in dash-to-dock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gnome-Shell extension that shows the focused window titlebar in the status panel.☆26May 6, 2019Updated 7 years ago
- Window buttons for the gnome shell panel☆27Sep 5, 2018Updated 7 years ago
- Moved to https://github.com/nE0sIghT/chrome-gnome-shell-mirror☆13Sep 6, 2016Updated 9 years ago
- Switch workspaces by scrolling in the top panel☆76Mar 11, 2026Updated 2 months ago
- Tool to handle rpmnew and rpmsave files☆47Jul 8, 2025Updated 10 months 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.
- ☆40Jan 14, 2018Updated 8 years ago
- Android Dynamic Library Helper☆17Jul 27, 2014Updated 11 years ago
- A non-contiguous byte output buffer for Rust☆14Jan 28, 2021Updated 5 years ago
- A repository of scripts for Nautilus, also known as Gnome Files☆11Dec 1, 2023Updated 2 years ago
- Split argv(argument vector) and handle special cases.☆10Nov 19, 2024Updated last year
- java.security implementation for Scala Native☆12Mar 16, 2026Updated 2 months ago
- Command Line Interface for Scala Native☆19May 22, 2026Updated last week
- ☆14Mar 2, 2023Updated 3 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 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.
- ☆21Oct 30, 2024Updated last year
- Trustfall adapter for querying rustdoc☆20May 9, 2026Updated 3 weeks ago
- util modules for sbt☆15Apr 24, 2020Updated 6 years ago
- Follow the progress of Emmanuel Macron's governement☆13Aug 16, 2023Updated 2 years ago
- A PHP Nano Framework☆15Mar 21, 2025Updated last year
- Gtk Spotify client written in python made to be compatible with mobile formfactors like a pinephone.☆11Dec 21, 2022Updated 3 years ago
- A large Java based build to use when benchmarking and profiling Gradle☆14Jun 5, 2018Updated 7 years ago
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆20May 12, 2026Updated 2 weeks ago
- Over-engineered Brainfuck optimizing compiler and interpreter☆15Feb 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Website to generate printable layout of standard french keyboard AZERTY NF Z71-300☆13Aug 29, 2024Updated last year
- Decentralized or self-hosted encryption archives that work on any internet device.☆15Mar 8, 2017Updated 9 years ago
- UT no longer packages Anbox and instead packages Waydroid. See https://gitlab.com/ubports/development/core/packaging/waydroid☆22Jan 18, 2022Updated 4 years ago
- ☆18Apr 24, 2026Updated last month
- Plugin for IntelliJ IDEA that folds and unfolds logger method calls in Java and Kotlin files. Supports JUL, slf4j, Apache Commons Logging…☆16Jan 30, 2024Updated 2 years ago
- A Mill plugin to help making publishing to Sonatype from GitHub Actions easier.☆16Apr 18, 2025Updated last year
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Mar 8, 2017Updated 9 years ago
- ≿ is a web crawler for 88x31 buttons☆38Oct 5, 2025Updated 7 months ago
- benchmark compilation of Dotty☆17Feb 6, 2024Updated 2 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.
- A userChrome.css theme to make thunderbird resemble Firefox 89+☆16Dec 8, 2022Updated 3 years ago
- A minimalistic Scala language-server☆14Sep 12, 2019Updated 6 years ago
- tramp support for toolbox containers☆17May 3, 2023Updated 3 years ago
- Work in progress manager for systemd system extensions☆50Updated this week
- RPM package for the git client GitKraken☆12Apr 22, 2020Updated 6 years ago
- Keeps track of connections to a node http server and provides a way to close connections☆23Feb 20, 2016Updated 10 years ago
- Test framework for Dotty☆13Sep 17, 2020Updated 5 years ago