47713 packages found. Page 80 of 955.

« First ‹ Previous ... 75 76 77 78 79 80 81 82 83 84 85 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
lastfmproxy 1.3b-5 21 0.00 A proxy server for the last.fm radio streams that allows you to use your regular old audio player to listen to the last.fm streams orphan
kvirc4-git r7116.2c89201e3-1 21 0.00 Qt5 based IRC-Client, compiled with kde4 support - Git Version el_aur
kitematic 0.17.3-1 21 1.23 Visual Docker Container Management alessiofachechi
kguiaddons-git r54.9625907-1 21 0.00 KGuiAddons orphan
kconfigwidgets-git r119.e6e1945-1 21 0.00 Widgets for KConfig orphan
kcompletion-git r100.3bff831-2 21 0.00 KCompletion orphan
jgraphx 3.7.4-1 21 0.01 Open source graph drawing component. MRWITEK
jflap 7.0-4 21 0.00 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
java-testng 6.12-1 21 0.01 A testing framework inspired from JUnit and NUnit eolianoe
isabelle 2017-1 21 0.14 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
irrlamb 0.2.1-1 21 0.47 a 3D game that probably involves a lot of physics and frustrating gameplay. jazztickets
intellij-idea-ce 2017.3.4-2 21 2.38 Intellij Idea IDE (community version) with Intellij JDK amrhassan
i3blocks-gaps-git 1.4.r31.ge14ccbd-1 21 0.40 Define blocks for your i3bar status line Airblader
hunspell-uk 3.7.5-1 21 0.00 Ukrainian spelling dictionary orphan
httpry 0.1.8-1 21 0.22 A specialized packet sniffer designed for displaying and logging HTTP traffic. carstene1ns
htmlcxx 0.86-1 21 0.08 A simple non-validating CSS1 and HTML parser for C++. Timothee
hal 0.5.15-2 21 0.46 Hardware Abstraction Layer bidulock
h2o 2.2.4-1 21 0.01 Optimized HTTP server with support for HTTP/1.x and HTTP/2 atweiden
guix 0.14.0-1 21 0.79 A purely functional package manager for the GNU system lantw44
grantlee-qt4 0.5.1-4 21 0.01 A string template engine based on the Django template system and written in Qt4 orphan
go-ipfs-git 0.4.9.r4.g864bf47a5-1 21 0.04 global versioned p2p merkledag file system Kubuxu
gnome-shell-theme-copernico-git 15.73fa7ca-1 21 0.06 A theme for the GNOME Shell which provides a slightly more pleasant visual impression. edh
gnome-shell-extension-window-buttons-git 2.9-1 21 0.00 Extension which puts minimize, maximize and close buttons in the top panel. XZS
gnome-shell-extension-kimpanel-git 20171209-2 21 0.04 KDE's kimpanel implementation for GNOME Shell, now support fcitx Sherlock-Holo
gnome-shell-extension-coverflow-alt-tab 1.4.1-1 21 0.03 Replacement of Alt-Tab, iterates through windows in a cover-flow manner XZS
gnome-osx-gtk-theme 5:1.3.6-1 21 2.29 Gnome-OSX V Traditional GTK Theme axesd9
glmark2-git r835.f413c5b-1 21 0.44 OpenGL (ES) 2.0 benchmark (X11, Wayland, DRM) devm33
gexif 0.5-3 21 0.01 A GTK+ based GUI interface to libexif-gtk orphan
gdcm 2.8.3-10 21 0.14 a C++ library for DICOM medical files crmullins
gcc47 4.7.4-2 21 0.00 The GNU Compiler Collection (4.7.x) severach
gateone-git 1.1_r514.ga3f7aeb-1 21 0.00 Web-based terminal emulator and SSH client WorMzy
freetype2-infinality-ultimate 2.8-2 21 2.74 TrueType font rendering library with Infinality patches and custom settings by bohoomil orphan
freetype2-demos-infinality 2.8-2 21 2.74 Freetype tools and demos orphan
flacgain 0.2-6 21 0.00 FLAC Replay Gain script similar to mp3gain and vorbisgain that uses metaflac orphan
firmware-mod-kit 0.99-7 21 0.67 Allows easy deconstruction and reconsutrction of firmware images for various embedded devices anthraxx
firefox-esr 52.6.0-1 21 0.70 Standalone web browser from mozilla.org, Extended Support Release figue
festival-freebsoft-utils 0.10-2 21 0.03 collection of Festival utilities including modules for speech-dispatcher support Xyne
factorio 0.15.40-1 21 0.27 A 2D game about building and maintaining factories. mickael9
exa-git 991-1 21 0.65 Replacement for ls written in Rust. tuftedocelot
eweather-git 0.2.0.r73.9efb4d5-1 21 0.00 Enlightenment module: Current weather and forcast gadget Tido.com
energia 1.6.10E18-4 21 0.03 Energia is a Arduino IDE clone for use with the MSP430 launchpad mpento
eclipse-subversive-svn-connector-svnkit 6.0.4.I20161211_1700-1 21 0.00 Subversive SVN Connectors SVN Kit benjarobin
dnsmap 0.30-3 21 0.00 Passive DNS network mapper anthraxx
dmg2dir 3.0.2-1 21 0.38 A shell script which extract OS X application from .dmg file Xorg
django-registration 2.2-1 21 0.00 A simple, generic user-registration application for Django Ilias95
dieharder 3.31.1-4 21 0.15 A Random Number Test Suite fkoehler
devkitppc r29.1-1 21 0.20 PowerPC toolchain for Nintendo Gamecube/Wii/Wii U homebrew development carstene1ns
cutecom 0.40.0-1 21 1.21 A graphical serial terminal noEntry
cpptest 1.1.2-2 21 0.00 Portable and powerful unit testing framework for handling automated tests in C++ boenki
clex 4.6.patch7-1 21 0.24 File manager with a full-screen user interface boenki

47713 packages found. Page 80 of 955.

« First ‹ Previous ... 75 76 77 78 79 80 81 82 83 84 85 ... Next › Last »