45655 packages found. Page 833 of 914.

« First ‹ Previous ... 828 829 830 831 832 833 834 835 836 837 838 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
irssi-git 0.8.17.r801.gc890ecaf-1 20 0.04 Modular text mode IRC client with Perl scripting watersalesman
isabelle 2016_1-1 20 1.64 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. badcasa
java-skinlf 6.7-5 20 0.29 Skinning engine for Swing MRWITEK
k4dirstat 3.1.2-1 20 0.10 A graphical disk usage utility for KDE (KDE4 port) irtimmer
kauth-git r79.6dcb8d0-2 20 0.00 KAuth orphan
kde-servicemenus-encfs 0.5.2-1 20 0.00 One KDE servicemenu for encfs encrypted directories. orphan
keyfuzz 0.2-10 20 0.12 A Utility for manipulating the scancode/keycode translation tables of keyboard drivers yaroslav
kiconthemes-git r175.c4bbb91-2 20 0.00 KIconThemes orphan
kservice-git r199.e4dcb34-2 20 0.00 KService orphan
kubectl-bin 1.7.6-1 20 2.52 Kubernetes.io client binary larte
latex-mk 2.1-3 20 1.89 tool for managing LaTeX projects haawda
lib32-faad2 2.8.1-1 20 0.59 ISO AAC audio decoder (32 bit) GordonGR
lib32-ffmpeg 1:3.3.3-2 20 0.27 Complete solution to record, convert and stream audio and video (32 bit) oxalin
lib32-xvidcore 1.3.4-1 20 0.63 XviD is an open source MPEG-4 video codec (32-bit) GordonGR
libbpg 0.9.7-1 20 0.03 BPG Image Encoder and Decoder jponin
libkface-git r780.ec6e823-1 20 0.00 A Qt/C++ wrapper around LibFace library to perform face recognition and detection over pictures Sevenseven
libksane-git r410.de6110a-1 20 0.00 An image scanning library Sevenseven
libplatform-legacy 1.0.10-2 20 0.08 Platform support library used by add-ons for Kodi up to Jarvis Bevan
libstdc++296 2.96.126-3 20 1.26 Standard C++ libraries for Red Hat 7.3 backwards compatibility compiler. With additions from OpenSUSE 13.1. Provides libstdc++-libc6.2-2.so.3 McLenin
linux-selinux 4.12.13-1 20 1.03 The Linux-selinux kernel and modules IooNag
linux-selinux-docs 4.12.13-1 20 1.03 Kernel hackers manual - HTML documentation that comes with the Linux-selinux kernel IooNag
linux-selinux-headers 4.12.13-1 20 1.03 Header files and scripts for building modules for Linux-selinux kernel IooNag
lltag 0.14.6-1 20 0.01 Automatic command-line music (mp3/ogg/flac) file tagger and renamer wget
loki-lib 0.1.7-3 20 0.00 A C++ library of designs, containing flexible implementations of common design patterns and idioms. stativ
lugaru 1.2-1 20 0.02 A third-person action game featuring a unique close-range combat system Jeanbon
makeself 2.3.0-2 20 0.19 Utility to create self-extracting packages mmlb
mamepgui 1.6.0-3 20 0.72 Frontend for SDLMAME/SDLMESS based on MAME Plus! trya
mdns-scan 0.5-4 20 0.20 Scan mDNS/DNS-SD published services on the local network bidulock
mingw-w64-pcre 8.41-1 20 0.24 A library that implements Perl 5-style regular expressions (mingw-w64) Schala
mingw-w64-readline 7.0.003-1 20 0.65 MinGW port of readline for editing typed command lines (mingw-w64) pingplug
mintstick-git r177.860ea2c-1 20 1.39 Format or write images to usb-sticks (Linux Mint tool) willemw
mopidy-youtube v2.0.2-1 20 0.26 Mopidy extension for playing music from Youtube joposter
nautilus-admin 0.2.5-1 20 0.40 Extension for Nautilus to do administrative operations TheChickenMan
neotool 1.3-3 20 0.00 Provide a friendly GUI frontend to some common management tasks for Openmoko smartphones. autama
netwmpager 2.05-2 20 1.46 A NetWM/EWMH compatible pager bidulock
nlopt 2.4.2-2 20 0.02 nonlinear optimization library xantares
ntfsfixboot 1.0-4 20 0.00 Fix NTFS boot sector eworm
numix-bevel-icon-theme-bzr r8-1 20 0.44 Bevel icon theme from the Numix project freundTech
octave-plot 1.1.0-5 20 0.00 Additional ploting tools for Octave. drizzd
ogmrip-mpeg 0.3-1 20 0.00 This plugin provides support for the Mpeg-1 and Mpeg-2 video codecs and the Mpeg container. It can be used to author DVDs, VCDs and SVCDs. dracorp
oomox 1.3.1_1.2.8.1_20170917-1 20 2.30 Graphical application for generating different color variations of Numix theme (GTK2, GTK3), gnome-colors and ArchDroid icon themes. Have a hack for HiDPI in gtk2. TCGman
opencpn 4.8.0-1 20 0.06 Open Source Chart Plotting / Marine Navigation Mr.Elendig
openssh-hpn-git 7.5.P1.r71.gecb50afb-2 20 0.96 A Secure SHell server/client fork with High Performance patches included rtfm3514
oracle-sqldeveloper 17.2.0.188.1159-1 20 1.70 A graphical tool for database development ilikenwf
orthorobot 1.1.1-1 20 0.00 Perspective based puzzle game, where you flatten the view to move across gaps. SanskritFritz
osx-arc-white 1.4.3-1 20 3.06 OSX-Arc-White Theme for GTK 3.x jaxmetalmax
otf-inconsolata-powerline-git r100.a44abd0-2 20 0.22 Inconsolata for Powerline quixoten
pacolog 1.2.0-1 20 1.13 List recent commits for Arch Linux packages Rhinoceros
pal 0.4.3-6 20 0.15 A command-line calendar program. juantascon
pam-selinux 1.3.0-1 20 0.18 SELinux aware PAM (Pluggable Authentication Modules) library IooNag

45655 packages found. Page 833 of 914.

« First ‹ Previous ... 828 829 830 831 832 833 834 835 836 837 838 ... Next › Last »