48897 packages found. Page 825 of 978.

« First ‹ Previous ... 820 821 822 823 824 825 826 827 828 829 830 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
ocaml-menhir 20171222-1 9 0.00 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-pprint 20171003-2 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
ocaml-stdint-git 20180226-1 0 0.00 Various signed and unsigned integers for OCaml soimort
pdksh 5.2.14-7 6 0.01 A public domain clone of the AT&T Korn shell soimort
polyml 5.7.1-1 21 0.01 A full implementation of Standard ML (SML) soimort
prover9 2009.11A-2 8 0.00 Prover9 is an automated theorem prover for first-order and equational logic soimort
smltojs 4.3.12-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.00 An implementation of the logical framework LF soimort
ulex-git 20171127-1 0 0.00 ulex is a lexer generator for Unicode and OCaml soimort
betcon 1.7.5-1 1 0.00 Sports betting management soker
eclipse-i18n-es 4.7.0.R0.15.0.v20170819060001-1 12 0.01 (Español) Spanish language pack for eclipse IDE soker
kickthemout-git 0.1.r110.g0099733-1 1 0.01 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.01 Load me later. A lazy loading plugin management system. soker
python-odfpy 1.3.6-1 2 0.03 Python API and tools to manipulate OpenDocument files soker
python-pyexcel 0.5.6-1 1 0.01 A wrapper library that provides one API to read, manipulate and write data in different excel formats soker
python-pyexcel-io 0.5.6-1 1 0.01 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.01 A wrapper library to read, manipulate and write data in ods format soker
python2-aniso8601 1.3.0-2 14 0.02 A library for parsing ISO 8601 strings soker
python2-odfpy 1.3.6-1 11 0.02 A complete API for OpenDocument in Python. Python 2.x support soker
python2-pynzb 0.1.0-5 30 0.01 A unified API for parsing NZB files soker
archipelago 1.0.5-1 0 0.00 An open-source terminal emulator built on web technology SolarAquarion
archipelago-git v1.0.5.r153.a18a53f-1 0 0.00 A terminal for a more modern age SolarAquarion
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.10.3.r11.g3613554-1 2 0.18 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
birdie-git 1.1+git.76.g476ece7-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 8 2.21 breath dark icon theme SolarAquarion
breath-icon-theme 0.3.0-1 8 2.21 breath icon theme SolarAquarion
breath-wallpaper 0.3.0-1 8 2.21 breath wallpaper SolarAquarion
bterm 1.0.0-3 0 0.00 cross-platform terminal emulator SolarAquarion
bterm-git v1.1.0.r8.bb1f02b-1 0 0.00 cross-platform terminal emulator SolarAquarion
bumblebee-git 3.2.1.r50.d469a32-2 48 0.07 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
cairo-infinality-ultimate 1.15.10-1 8 0.27 Cairo vector graphics library SolarAquarion
cinnamon-menus-git 27.50310b1-1 4 0.26 Cinnamon menu specifications SolarAquarion
clang50 5.0.1-1 2 1.17 C language family frontend for LLVM SolarAquarion
deluge-stable-git 1.3.15.r14.gb8e5ebe82-1 2 0.03 A bittorrent client written with python and pygtk - Git Stable branch Version SolarAquarion
dht 0.24-1 0 0.00 BitTorrent DHT library SolarAquarion
domterm-git 0.99.r0.g255c269-1 1 0.34 Terminal emulator capable of display html and images from command output SolarAquarion
entrance-git 3.0.0_alpha2.r72.g8281d2f-1 93 0.00 Enlightenment Display Manager SolarAquarion
extraterm 0.33.0-1 2 0.01 The swiss army chainsaw of terminal emulators. SolarAquarion
falkon-git 3.0.0.55.gd04e0091-1 10 1.46 Cross-platform Qt Web Browser SolarAquarion
fbuild 0.3rc2-2 0 0.00 A cross platform, high performant caching build system SolarAquarion
ffmpegyag 0.7.7-2 0 0.00 Simple FFmpeg GUI for Linux & Windows SolarAquarion
file-commander-git 0.9.4.r4.g3e04fc4-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.13.0-1 16 0.62 A library for configuring and customizing font access, optimized for freetype2-infinality-ultimate. SolarAquarion
fvwm-git 2.6.7.r44.g4ea13d29-1 1 0.02 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

48897 packages found. Page 825 of 978.

« First ‹ Previous ... 820 821 822 823 824 825 826 827 828 829 830 ... Next › Last »