44827 packages found. Page 762 of 897.

« First ‹ Previous ... 757 758 759 760 761 762 763 764 765 766 767 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
ocaml-pprint 20150316-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
pdksh 5.2.14-7 5 0.00 A public domain clone of the AT&T Korn shell soimort
polyml 5.7-1 20 0.00 A full implementation of Standard ML (SML) soimort
prover9 2009.11A-2 8 0.27 Prover9 is an automated theorem prover for first-order and equational logic soimort
smltojs 4.3.9-1 1 0.00 Standard ML to JavaScript compiler soimort
twelf 1.7.1-2 0 0.00 An implementation of the logical framework LF soimort
twelf-git 20130819-3 1 0.12 An implementation of the logical framework LF soimort
netbeans-es 8.2-1 1 0.00 Netbeans IDE development platform in Spanish soker
python-trakt-git 20161105-1 0 0.00 API Python for trakt soker
bamf-ubuntu 0.5.3.16.10.20160929-1 0 0.00 Removes the headache of applications matching into a simple DBus daemon and c wrapper library SolarAquarion
bashstyle-git 0.9.1.r86.g8fecd78-1 1 0.09 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
bluefish-svn 8503-2 6 0.00 SVN version of the programmer's HTML editor written using GTK SolarAquarion
breath-dark-icon-theme 0.2.0-3 1 0.13 breath dark icon theme SolarAquarion
breath-icon-theme 0.2.0-3 1 0.13 breath icon theme SolarAquarion
breath-wallpaper 0.2.0-3 1 0.13 breath wallpaper SolarAquarion
bterm 1.0.0-3 0 0.00 cross-platform terminal emulator SolarAquarion
bterm-git v1.0.0.r10.8b9d9f2-3 0 0.00 cross-platform terminal emulator SolarAquarion
bumblebee-git 3.2.1.r50.d469a32-2 47 0.10 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
cairo-infinality-ultimate 1.14.8-3 4 1.10 Cairo vector graphics library SolarAquarion
cinnamon-menus-git 27.50310b1-1 2 0.00 Cinnamon menu specifications SolarAquarion
deluge-stable-git 1:1.3.12.r57.g90a22af-1 0 0.00 A bittorrent client written with python and pygtk - Git Stable branch Version SolarAquarion
extraterm 0.26.0-1 0 0.00 The swiss army chainsaw of terminal emulators . SolarAquarion
file-commander-git 0.9.3.2.r33.g7efe4eb-3 0 0.00 Qt-based cross-platform Total Commander-like orthodox file manager for Windows, Mac and Linux SolarAquarion
fontconfig-infinality-ultimate 2.12.1-4 5 2.61 A library for configuring and customizing font access, optimized for freetype2-infinality-ultimate. SolarAquarion
freetype2-demos-infinality 2.8-2 8 2.63 Freetype tools and demos SolarAquarion
freetype2-infinality-ultimate 2.8-2 8 2.63 TrueType font rendering library with Infinality patches and custom settings by bohoomil SolarAquarion
fvwm-git 2.6.7.r27.g597a4e29-1 0 0.00 A powerful ICCCM2 compliant multiple virtual desktop window manager for X11 SolarAquarion
garcon-git 0.5.0.67.gba006f7-1 0 0.00 Freedesktop.org compliant menu library SolarAquarion
ghostwriter-git v1.4.2.r1.g812199f-1 1 0.00 ghostwriter is a cross-platform, aesthetic, distraction-free Markdown editor. SolarAquarion
gnome-shell-theme-ciliora-secunda-git r125.4d21682-1 1 0.39 Ciliora Tertia GNOME Shell theme. SolarAquarion
hedera-theme-git 0.r2.f92f398-2 1 0.16 Eye-friendly GUIKit based on breeze SolarAquarion
kvirc-git 4.3.2.r7104.48fd3bc45-1 2 0.02 Qt5 based IRC-Client, compiled with kde4 support - Git Version SolarAquarion
lib32-fontconfig-infinality-ultimate 2.12.3-1 0 0.00 A library for configuring and customizing font access (32-bit, infinality-bundle) SolarAquarion
lib32-freetype2-infinality-ultimate 2.8-2 1 0.38 TrueType font rendering library with Infinality patches and custom settings by bohoomil (32-bit, infinality-bundle). SolarAquarion
lib32-libbs2b 3.1.0-1 0 0.00 Bauer stereophonic-to-binaural DSP effect library SolarAquarion
lib32-twolame 0.3.13-2 0 0.00 An optimized MPEG Audio Layer 2 (MP2) encoder (32-bit) SolarAquarion
lib32-vo-aacenc 0.1.3-1 1 0.01 VisualOn Advanced Audio Coding (AAC) encoder SolarAquarion
lib32-vo-amrwbenc 0.1.3-1 0 0.00 VisualOn Adaptive Multi Rate Wideband (AMR-WB) encoder SolarAquarion
libnm-git 1.9.0.r17339.gdb07b867a-1 26 0.16 NetworkManager client library SolarAquarion
libnm-glib-git 1.9.0.r17339.gdb07b867a-1 26 0.16 NetworkManager client library (legacy) SolarAquarion
libxfce4util-git 4.12.1.r16.gf8e35f0-1 1 0.22 Basic utility non-GUI functions for Xfce SolarAquarion
lilyterm-git 0.9.9.4.141.g757083b-1 2 0.09 A light and easy to use libvte based X terminal emulator SolarAquarion
lua51-luacheck 0.20.0-2 0 0.00 A simple static analyzer SolarAquarion
lua51-luassert 1.7.10-1 0 0.00 Assertion library for Lua SolarAquarion
luakit-git r3592.fb97b2f7-1 12 2.78 Luakit: now updated for WebKit 2 SolarAquarion
meson-git 0.41.1.r97.138a8b22-1 4 0.00 SCons-like build system that use python as a front-end language and Ninja as a building backend SolarAquarion
mpv-ahjolinna-git 0.25.0.r372.gc1dcf74458-1 2 0.03 MPV using ahjolinna's personal pre-made conf build SolarAquarion
network-manager-applet-git 1.4.6.r11.gc567a69b-1 11 0.16 Applet for managing network connections SolarAquarion
networkmanager-git 1.9.0.r17339.gdb07b867a-1 26 0.16 Network Management daemon SolarAquarion
nm-connection-editor-git 1.4.6.r11.gc567a69b-1 11 0.16 NetworkManager GUI connection editor and widgets SolarAquarion

44827 packages found. Page 762 of 897.

« First ‹ Previous ... 757 758 759 760 761 762 763 764 765 766 767 ... Next › Last »