45427 packages found. Page 766 of 909.

« First ‹ Previous ... 761 762 763 764 765 766 767 768 769 770 771 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
prover9 2009.11A-2 8 0.03 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.01 An implementation of the logical framework LF soimort
betcon 1.6-2 1 0.10 Sports betting management soker
eclipse-i18n-es 4.7.0.R0.15.0.v20170819060001-1 12 0.29 (Español) Spanish language pack for eclipse IDE soker
kickthemout-git 0.1.r104.ga2e0432-1 1 0.26 Kick devices off your network by performing an ARP Spoof attack. soker
netbeans-es 8.2-1 1 0.00 Netbeans IDE development platform in Spanish soker
python-lml 0.0.1-2 1 0.17 Load me later. A lazy loading plugin management system. soker
python-odfpy 1.3.5-2 2 0.59 Python API and tools to manipulate OpenDocument files soker
python-pyexcel 0.5.4-1 1 0.21 A wrapper library that provides one API to read, manipulate and write data in different excel formats soker
python-pyexcel-io 0.5.4-1 1 0.17 A python library to read and write structured data in csv, zipped csv format and to/from databases soker
python-pyexcel-ods 0.5.2-1 1 0.17 A wrapper library to read, manipulate and write data in ods format soker
python2-aniso8601 1.3.0-2 14 0.46 A library for parsing ISO 8601 strings soker
python2-pynzb 0.1.0-4 30 0.14 A unified API for parsing NZB files 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.01 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
birdie-git 1.1+git.57.g7003d5b-1 45 0.00 Twitter client for Linux 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.3.0-1 4 1.61 breath dark icon theme SolarAquarion
breath-icon-theme 0.3.0-1 4 1.61 breath icon theme SolarAquarion
breath-wallpaper 0.3.0-1 4 1.61 breath wallpaper SolarAquarion
bterm 1.0.0-3 0 0.00 cross-platform terminal emulator SolarAquarion
bterm-git v1.0.0.r15.b554087-1 0 0.00 cross-platform terminal emulator SolarAquarion
bumblebee-git 3.2.1.r50.d469a32-2 48 0.16 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
cairo-infinality-ultimate 1.15.8-3 6 0.58 Cairo vector graphics library SolarAquarion
cinnamon-menus-git 27.50310b1-1 3 0.56 Cinnamon menu specifications SolarAquarion
deluge-stable-git 1.3.15.r6.g6d14be18b-1 2 0.64 A bittorrent client written with python and pygtk - Git Stable branch Version SolarAquarion
entrance-git 3.0.0_alpha1.r0.g0ed49dd-1 93 0.05 Enlightenment Display Manager SolarAquarion
extraterm 0.29.1-2 2 0.21 The swiss army chainsaw of terminal emulators . SolarAquarion
falkon-git 2.1.99.r4449.75bd63ff-1 4 1.69 Cross-platform Qt Web Browser SolarAquarion
ffmpeg-mpv-full-git 3.5.r88561.ga94f4f9a1c-2 0 0.00 Record, convert and stream audio and video (all possible features including nvenc, qsv and libfdk-aac; git version) SolarAquarion
file-commander-git 0.9.3.2.r41.gf33c7b3-1 0 0.00 Qt-based cross-platform Total Commander-like orthodox file manager for Windows, Mac and Linux SolarAquarion
flite-fpic 2.0.0-1 1 0.00 A lighweight version of festival speech synthesis compiled with -fPIC SolarAquarion
fontconfig-infinality-ultimate 2.12.6-1 11 2.83 A library for configuring and customizing font access, optimized for freetype2-infinality-ultimate. SolarAquarion
freetype2-demos-infinality 2.8-2 16 4.05 Freetype tools and demos SolarAquarion
freetype2-infinality-ultimate 2.8-2 16 4.05 TrueType font rendering library with Infinality patches and custom settings by bohoomil SolarAquarion
fvwm-git 2.6.7.r27.g597a4e29-1 1 0.44 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.04 Ciliora Tertia GNOME Shell theme. SolarAquarion
hedera-theme-git 0.r2.f92f398-2 1 0.01 Eye-friendly GUIKit based on breeze SolarAquarion
kawanime 0.1.2-1 0 0.00 Desktop app for anime fans SolarAquarion
kvirc-git 4.3.2.r7213.33fcac555-1 3 0.13 Qt5 based IRC-Client, compiled with kde5 support - Git Version SolarAquarion
lib32-fontconfig-infinality-ultimate 2.12.6-1 1 0.18 A library for configuring and customizing font access (32-bit, infinality-bundle) SolarAquarion
lib32-freetype2-infinality-ultimate 2.8-2 6 3.29 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.00 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

45427 packages found. Page 766 of 909.

« First ‹ Previous ... 761 762 763 764 765 766 767 768 769 770 771 ... Next › Last »