47006 packages found. Page 80 of 941.

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

Name Version Votes Popularity? Description Maintainer
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.02 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.02 A testing framework inspired from JUnit and NUnit eolianoe
isabelle 2017-1 21 0.26 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.90 a 3D game that probably involves a lot of physics and frustrating gameplay. jazztickets
intel-opencl 5.0.r63503-1 21 1.39 OpenCL(TM) 2.0 Driver for Intel(R) HD, Iris(TM), and Iris(TM) Pro Graphics for Linux intelfx
i3ipc-glib-git r1-1 21 2.48 A C interface library to i3wm nfnty
i3blocks-gaps-git 1.4.r31.ge14ccbd-1 21 0.75 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.41 A specialized packet sniffer designed for displaying and logging HTTP traffic. carstene1ns
htmlcxx 0.86-1 21 0.15 A simple non-validating CSS1 and HTML parser for C++. Timothee
hal 0.5.15-2 21 0.88 Hardware Abstraction Layer bidulock
h2o 2.2.4-1 21 0.02 Optimized HTTP server with support for HTTP/1.x and HTTP/2 atweiden
gyazo 1.2.1-1 21 0.55 Launch the Gyazo app and drag your mouse to grab the screen. procrastinator
guix 0.14.0-1 21 1.50 A purely functional package manager for the GNU system lantw44
gtk-theme-numix-ocean 2.0.2-2 21 0.00 Base16 Ocean colorscheme version of the Numix theme (supports GTK 2, GTK 3, Xfwm and Openbox) orphan
grub2-editor-frameworks 20151208.g1e4ae87-1 21 1.17 A KDE Control Module for configuring the GRUB2 bootloader. Unofficial KF5 port. maz-1
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.07 global versioned p2p merkledag file system Kubuxu
gnome-shell-theme-copernico-git 15.73fa7ca-1 21 0.12 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.08 KDE's kimpanel implementation for GNOME Shell, now support fcitx Sherlock-Holo
gnome-shell-extension-coverflow-alt-tab 1.4.1-1 21 0.06 Replacement of Alt-Tab, iterates through windows in a cover-flow manner XZS
glmark2-git r835.f413c5b-1 21 0.85 OpenGL (ES) 2.0 benchmark (X11, Wayland, DRM) devm33
gexif 0.5-3 21 0.02 A GTK+ based GUI interface to libexif-gtk orphan
gdcm 2.8.3-10 21 0.27 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.01 Web-based terminal emulator and SSH client WorMzy
fortune-mod-vimtips 201510719-3 21 1.40 Vim fortune cookies sebcbi1
flacgain 0.2-6 21 0.00 FLAC Replay Gain script similar to mp3gain and vorbisgain that uses metaflac orphan
firefox-esr 52.6.0-1 21 1.33 Standalone web browser from mozilla.org, Extended Support Release figue
ffmpeg-compat-55 2.3.6-2 21 0.41 Compatibility package for ffmpeg to provide versions 55 of libavcodec, libavdevice and libavformat, not anymore provided by the ffmpeg package Muflone
festival-freebsoft-utils 0.10-2 21 0.05 collection of Festival utilities including modules for speech-dispatcher support Xyne
fancontrol-common v0.5-1 21 1.03 Common resources used by fancontrol-gui and fancontrol-kcm Maldela
factorio 0.15.40-1 21 0.51 A 2D game about building and maintaining factories. mickael9
exa-git 991-1 21 1.25 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
etherwall 2.2.0-1 21 0.80 Ethereum GUI Wallet (QT5) Almindor
escrotum-git 39.a756b2e-1 21 0.79 Linux screen capture using pygtk, inspired by scrot RogerDuran
energia 1.6.10E18-3 21 0.06 Energia is a Arduino IDE clone for use with the MSP430 launchpad mpento
edid-decode-git r111.afcf2a2-1 21 1.06 EDID decoder and conformance tester net147
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.73 A shell script which extract OS X application from .dmg file Xorg
dlib 19.8-2 21 2.18 Dlib is a general purpose cross-platform C++ library designed using contract programming and modern C++ techniques. pingplug
django-registration 1.9-1 21 0.00 A simple, generic user-registration application for Django Ilias95
digikam-git r36468.5efd13702a-1 21 0.11 Digital photo management application for KDE Sevenseven
dieharder 3.31.1-4 21 0.29 A Random Number Test Suite fkoehler

47006 packages found. Page 80 of 941.

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