44847 packages found. Page 90 of 897.

« First ‹ Previous ... 85 86 87 88 89 90 91 92 93 94 95 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
isabelle 2016_1-1 18 0.31 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
i3blocks-gaps-git 1.4.r31.ge14ccbd-1 18 2.01 Define blocks for your i3bar status line Airblader
hunspell-ca 3.0.1-2 18 0.20 Catalan hunspell dictionaries. Includes Valencian ca_ES-valencia ValHue
haskell-libmpd 0.9.0.4-1 18 0.07 An MPD client library. pdxleif
hal 0.5.15-2 18 0.01 Hardware Abstraction Layer bidulock
h5utils 1.12.1-8 18 0.00 Software for visualization/conversion of scientific data in the HDF5 format McNoggins
gtk-newwave-greymod-darkmenus-theme 1.0.1-1 18 0.00 The New Wave theme, minus the ubuntu orange, with dark menus twa022
grml-rescueboot 0.4.7-1 18 0.88 grub2 script to add grml iso images to the grub2 boot menu Bevan
greed 4.2-1 18 0.00 The strategy game of Greed. keenerd
gocode-git 637.10c1e59-1 18 0.21 An autocompletion daemon for the Go programming language yesuu
gobi-firmware 1-7 18 0.07 Firmware for gobi 2000 wwan chipset TamCore
gnulib-git v0.1.77.gd9361da-1 18 0.10 GNU Portability Library dkasak
gnudatalanguage 0.9.7-4 18 1.03 An IDL (Interactive Data Language) compatible incremental compiler (ie. runs IDL programs) migueldvb
gnome-twitch-git r923.7eb89a1-1 18 0.30 Enjoy Twitch on your GNU/Linux desktop vinszent
gnome-pie-git 316.6d9b7ba-1 18 0.97 A visual application launcher for gnome. M0Rf30
gngeo 0.8-8 18 0.00 A portable command-line NeoGeo Emulator carstene1ns
gmapcatcher 0.8.0.4-2 18 0.00 GMapCatcher is an offline maps viewer ValHue
glmark2-git r835.f413c5b-1 18 1.95 OpenGL (ES) 2.0 benchmark (X11, Wayland, DRM) devm33
glassfish-v4 4.1.2-1 18 0.68 GlassFish 4 is a Java EE 7 open source application server Snowball239
gimp-plugin-wavelet-sharpen 0.1.2-2 18 0.16 Enhances apparent sharpness of an image by increasing contrast in high frequency space. sakalisc
g-wrap 1.9.15-2 18 0.00 A tool and guile library, for generating function wrappers for inter-language calls bidulock
freeguide 0.11.1-2 18 0.00 A free TV guide program written in Java khampf
fotaq 1.1-3 18 0.00 "Flight of the Amazon Queen" is a graphical point-and-click adventure game Dragonlord
flirc-bin 2.5.2.1-1 18 0.03 CLI and GUI application to program your Flirc device jsteel
firefox-dev 55.0b12_20170724125308-1 18 10.54 Mozilla Firefox Developer Edition denvit
fastoggenc 0.1.4-5 18 0.33 A parallelized Python script which converts MP3, M4A, WMA, WAV into OGG Vorbis simon04
fancontrol-common v0.5-1 18 3.03 Common resources used by fancontrol-gui and fancontrol-kcm Maldela
factorio 0.14.23-1 18 1.04 A 2D game about building and maintaining factories. duthils
evopop-gtk-theme 2.9.90-1 18 0.69 GTK theme from Solus OS and Budgie Desktop hobbypunk
etherwall 2.0.1-1 18 3.07 Ethereum GUI Wallet (QT5) Almindor
emacs-lucid 25.2-2 18 0.00 The extensible, customizable, self-documenting real-time display editor (Lucid toolkit version) jpkotta
easymp3gain-gtk2 0.5.0-8 18 0.00 GTK2 Graphical User Interface (GUI) for MP3Gain, VorbisGain and AACGain Muflone
dwb-git 2015.07.26.gdda5aa7-1 18 0.73 A webkit web browser with vi-like keyboard shortcuts Ambrevar
dvb-usb-rtl2832u-openpli 20130918-6 18 0.59 Linux module for the RTL2832U DVB-T USB2.0 device R00KIE
dropbox-uploader-git 0.20c.r0.gb745657-1 18 0.00 A bash script to manage Dropbox from the CLI severach
drjava 20160913-1 18 0.74 A lightweight development environment for writing Java programs rodrigo21
direnv 2.11.3-1 18 0.58 a shell extension that manages your environment zimbatm
dirbuster 1.0_RC1-10 18 0.45 An application designed to brute force directories and files names on web/application servers anthraxx
ding 1.8.1-1 18 0.13 A Dictionary Lookup program and EN<->DE Dictionary haawda
delorean 3.16_12_05202015-1 18 0.00 The Metal Gtk Theme. For Gnome 3.16, Gnome-Shell, Xfce, Cinnamon, MATE, Firefox, & Chromium jo-shva
debtap-p64 2.8.2-1 18 1.00 A script to convert 32-bit .deb packages to pseudo-64-bit Arch Linux packages, focused on accuracy. Do not use it to convert packages that already exist on official repositories or can be built from AUR! helix
dead-cyborg-episode1 002-6 18 0.00 Free, donation based oldskool sci-fi adventure game with 3D first person view SanskritFritz
davtools 1.2.0-3 18 0.00 Disk Allocation Viewer(DAV) tools for Linux that can obtain the state of fragmentation on disk and visualize it. Slash
cyberfox-bin 52.2.1-1 18 0.09 Fast and privacy oriented fork of Mozilla Firefox plague-doctor
cutecom 0.40.0-1 18 0.18 A graphical serial terminal noEntry
cronie-selinux 1.5.1-1 18 1.50 Daemon that runs specified programs at scheduled times and related tools with SELinux support IooNag
contractor-git r214.ed0a014-1 18 0.59 A desktop-wide extension service alucryd
compiz-bcop 0.8.14-2 18 0.22 Compiz option code generator ShadowKyogre
colortest-256-ng-git 20100822-1 18 0.32 Gives a visual presentation of what the 256 colors indexes is and how \ they look shaggytwodope
colobot-gold 0.1.10_alpha-1 18 0.23 Colobot GOLD is a real-time strategy game with programmable bots. erihel

44847 packages found. Page 90 of 897.

« First ‹ Previous ... 85 86 87 88 89 90 91 92 93 94 95 ... Next › Last »