720 packages found. Page 10 of 15.

« First ‹ Previous ... 5 6 7 8 9 10 11 12 13 14 15 Next › Last »

Name Version Votes Popularity? Description Maintainer
hets-server-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
heketi-client 10.2.0-1 1 0.00 RESTful based volume management framework for GlusterFS (client) max-k
guile-xcb-git r88.db7d5a3-1 1 0.00 Windowmanagement environment for guile haawda
guile-wm-git 1:1.0.r9.g38916e0-1 2 0.00 Windowmanagement environment for guile haawda
guile-config 0.4.2-1 0 0.00 Configuration management library for GNU Guile rosekunkel
groupman-git r61.ea0acea-1 0 0.00 Gather your Arch Linux packages in groups to simplify their management. StreakyCobra
grocy-git 3.0.1.r12.ga455a012-1 1 0.26 Web-based self-hosted groceries & household management solution for your home Ape
grocy 3.0.1-4 4 0.31 web-based self-hosted groceries & household management solution for your home danieltetraquark
grisbi-git 1:2.0.3.r103.g63fae58a3-1 2 0.00 Personal financial management program - Development version FredBezies
grisbi 2.0.3-2 104 0.01 Shared files for the finance management program Grisbi. FredBezies
grass6 6.4.6-1 3 0.00 Geospatial data management and analysis, image processing, graphics/maps production, spatial modeling and visualization. czk
grass 7.8.5-1 34 0.00 Geospatial data management and analysis, image processing, graphics/maps production, spatial modeling and visualization Scimmia
grapejuice-git 2.2.9.cd8e5be-3 1 0.35 Simple Wine+Roblox management tool brinkervii
gpaste-git 3.22.1+23+g0923e96-1 20 0.00 Clipboard management system albfan
gpaste-daemon 3.24.1-1 1 0.00 A clipboard management daemon orphan
gog-shortest-trip-to-earth 1.3.4-1 0 0.00 a roguelike spaceship simulator featuring exploration, ship management, game-influencing decision-making and real-time tactical battles Lukas1818
gog-factorio 1.1.30-1 1 0.10 A game in which you build and maintain factories Lukas1818
goat-git r151.7f25d1a-1 2 0.00 Database management frontend written in Qt5 (git version) grawlinson
gnomint 1.3.0-3 1 0.00 Certification Authority management made easy. fenuks
gnome-text-editor-git 3.39.92.r43.gb506ba1-1 1 0.88 Simple text editor that focuses on session management flipflop97
gnome-text-editor 3.39.92-1 1 0.87 Simple text editor that focuses on session management flipflop97
gnome-shell-pomodoro 0.19.1-1 102 2.34 A time management utility for GNOME based on the pomodoro technique liamtimms
gnome-shell-extension-system76-power-git 1.2.0.r17.gfd70291-1 5 0.05 Gnome shell extension for System76 power management blinxwang
gnome-shell-extension-pop-shell-git r668.77650a9-1 25 4.56 Pop Shell - Tiling window management in Gnome (WIP) vincent.ducamps
gnome-shell-extension-pop-shell-bin 1.2.0-4 1 0.07 Pop Shell - Tiling window management in Gnome (precompiled) quebin31
gnome-shell-extension-pop-shell 1.2.0-2 10 2.52 Pop Shell - Tiling window management in Gnome (WIP) vincent.ducamps
gnome-pomodoro-git r1038.1e1d8d5-1 7 0.00 A time management utility for GNOME based on the pomodoro technique skjnldsv
gnome-music-git 1:3.38.0+39+g95f7bf58-1 18 0.00 Music player and management application fisch02
gnome-keysign 1.2.0-1 3 0.00 An easier way to sign OpenPGP keys over the local network or Bluetooth. ryuzy
gnome-disk-utility-git 3.31.2+13+g7f750593-1 1 0.00 Disk Management Utility for GNOME fisch02
glpi 9.5.0-1 2 0.01 GLPI Inventory Management martisa
gloom 1.2-1 0 0.00 a X11 backlight dimming, screen lock, and cursor management tool for laptops. shizy
glitter-git master-1 0 0.00 Git repositories management tool written in bash lord-invader
glide-bin 0.13.3-1 0 0.00 Dependency management and vendoring for Go projects tongpu
glide 0.13.3-3 1 0.00 Dependency management and vendoring for Go projects orphan
glcli 0.5.15-1 2 0.00 A GitLab CLI for project management Celforyon
gitzone 1.1-2 1 0.00 git-based zone management tool for static and dynamic domains caleb
gitlab-ee 12.7.5-3 4 0.00 Project management and code hosting application caleb
gitid 0.3.1-1 1 0.00 A simple, minimal command line tool allowing for management of git identities. Lubiquity
git-dpm 0.9.1-1 1 0.00 debian source package and patch management with git orphan
gisto 1.12.12-0 15 0.00 Cross-platform gist snippets management desktop application that allows you and your team share code snippets fast and easily. Based on GitHub Gist Infrastructure which means you can use all your existing snippets by connecting your GitHub account. sanusart
gist-lite 0.9-1 1 0.00 Bash script for gist management typebrook
gimp-plugin-separate+ 0.5.8-5 65 0.00 Provides some useful color-management functions for the GIMP freswa
giganotes-bin 2.0.2-1 0 0.00 An open source data management and note taking app orphan
ghq-bin 1.1.7-1 1 0.00 Remote repository management made easy. Pre-compiled. f440
ghq 1.1.6-1 8 0.03 Remote repository management made easy nosada
genders 1.28.1-1 2 0.00 Static cluster configuration database used for cluster configuration management. hcartiaux

720 packages found. Page 10 of 15.

« First ‹ Previous ... 5 6 7 8 9 10 11 12 13 14 15 Next › Last »