680 packages found. Page 6 of 14.

« First ‹ Previous 1 2 3 4 5 6 7 8 9 10 11 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
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
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-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-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
holo 2.2-2 3 0.07 Minimalistic configuration management majewsky
homemaker-git r126.87f1a4e-2 1 0.00 Homemaker is a lightweight tool for straightforward and efficient management of *nix configuration files found in the user's home directory, commonly known as dot-files. ToxicSalt
hp-smh-templates 10.5.0_1462.26-1 1 0.00 HP System Management Homepage Templates orphan
hp-snmp-agents 10.50_2926.49-1 3 0.00 Insight Management SNMP Agents for HP ProLiant Systems orphan
hpsmh 7.5.4_3-1 1 0.00 HP System Management Homepage ngalderisi_spar
htcondor 8.8.10-1 0 0.00 Distributed workload management system thht
i3-projects 1.1.1-1 1 0.00 Project creation and management for i3-wm zzelman
icc_examin 0.56-1 3 0.00 ICC Examin is a colour management utility. robertfoster
idm-console-framework 1.2.0-1 3 0.00 A Java Management Console framework used for remote server management. ImNtReal
indicator-session 12.10.4-5 35 0.00 Indicator showing session management, status and user switching Firef0x
intel-gmmlib-git 18.3.r12.g10ad15a-1 3 0.00 Intel Graphics Memory Management Library (git version) dbermond
intel-power-control-git r14.5b53221-1 0 0.00 GPU power management for Intel hardware on Linux dos1
intelmetool-git 0.61.bc96989-1 7 0.48 Tool for working with Intel Management Engine gavinhungry
ipkg 0.99.163-2 5 0.00 The Itsy Package Management System shtrom
ipkg-utils 050831-2 0 0.00 The Itsy Package Management System utils orphan
ipman 0.1.0-1 2 0.00 Allows managing Lenovo Ideapad battery charging thresholds Lenovsky
itamae 1.10.8-1 2 0.00 Configuration management tool inspired by Chef, but simpler and lightweight eagletmt
iwgtk 0.4-1 4 2.63 Lightweight, graphical wifi management utility J-Lentz
joomla 3.9.19-1 56 0.00 a php Content Management System (CMS) which enables you to build websites and powerful online applications. severach
junglediskservermanagement 3.23.0-1 0 0.00 Online backup and storage powered by Amazon S3™ and Rackspace. georgyo
jverein 2.8.18-1 7 0.00 A club management plugin for jameica. fordprefect
kalkun 0.7.1-2 1 0.00 Open source web based SMS management 4le34n
kangaroo-bin 0.29.1.200713-1 0 0.00 Kangaroo is a SQL client and admin tool for popular databases fward
kbdlight-git 1.6.r0.gb42a406-1 1 0.00 Program to management keyboard brightness glats
kdeplasma-applets-networkmanagement 1:0.9.0.12-1 36 0.00 KDE control panel and widget network connections ranger
keys-pub 0.0.48-1 1 0.07 keys.pub CLI client and service (keys, keysd) orphan
kidentitymanagement-git r3689.0f983efd-1 1 0.00 KDE PIM libraries IslandC0der
kimchi 3.0.0-6 12 0.01 KVM management plugin for WoK. samip537
kitematic 0.17.13-1 25 0.00 Visual Docker Container Management dbermond
kitematic-git 2275.3d40e133-1 0 0.00 Visual Docker Container Management Depau
kmod-nc 26-4 0 0.00 Linux kernel module management tools and library orphan
kodi-addon-hts-pvrmanager 1.0.7-1 2 0.00 Poweroff management for current active recordings and wakeup procedures for future schedules using the XML-Interface of TVHeadend. hobbypunk
kops 1.18.1-0 2 0.70 Kubernetes Operations - Production Grade K8s Installation, Upgrades, and Management (build from src) arth
kops-beta-bin 1.18.0-1 0 0.00 Kubernetes Operations Beta (kops beta) - Production Grade K8s Installation, Upgrades, and Management TheGoliath
kops-bin v1.16.2-1 7 0.12 Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management dennisoehme
kops-git 1.12.0.r0.ga2b7b4a88-1 2 0.00 Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management. (git version) dissonant
kscreen-git r1266.65f342d-1 17 0.00 KDE screen management software IslandC0der
kubeman-appimage 0.5.0-1 0 0.00 The Hero that Kubernetes deserves (kubernetes management GUI) tercean
kubernetes-bin 1.18.0-0 22 0.26 Production-Grade Container Scheduling and Management - binary version. shazde
kubesec 0.9.2-1 0 0.00 Secure Secret management for Kubernetes. supermario
kwalletmanager-git r1111.c3d198c-1 1 0.00 Wallet management tool IslandC0der
kwalletmanager4 1:4.14.3-1 7 0.00 KDE Wallet Management Tool (KDE4 version) ava1ar
kwin-scripts-ultrawide-tiling 1.0.1-3 1 0.03 Kwin script to add useful keyboard shortcuts for tiling-like window management zhimsel
kyverno-git v1.1.4.rc1.r45.g2768574a-3 0 0.00 Kubernetes Native Policy Management - CLI cwrau
ladish 1-2 54 0.45 Session management system for JACK. WoefulDerelict
ladish-git 1.r49.gc5f340d0-1 5 0.00 Session management system for JACK. WoefulDerelict

680 packages found. Page 6 of 14.

« First ‹ Previous 1 2 3 4 5 6 7 8 9 10 11 ... Next › Last »