61333 packages found. Page 1047 of 1227.

« First ‹ Previous ... 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
ocaml-pprint 20180523-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
ocaml-ppxfind-git 20190513-2 0 0.00 ocamlfind ppx tool soimort
ocaml-ppx_derivers-git 20190404-2 0 0.00 deriving plugin registry soimort
ocaml-ppx_deriving-git 20191107-1 0 0.00 Type-driven code generation for OCaml >=4.02 soimort
ocaml-ppx_deriving_yojson-git 20191009-1 0 0.00 A Yojson codec generator for OCaml >= 4.02. soimort
ocaml-ppx_tools-git 20190719-1 0 0.00 Tools for authors of ppx rewriters and other syntactic tools soimort
ocaml-process-git 20160901-2 0 0.00 Easy process control in OCaml soimort
ocaml-stdint-git 20180606-2 0 0.00 Various signed and unsigned integers for OCaml soimort
ocaml-yojson-git 20190520-1 0 0.00 Low level JSON binary for OCaml soimort
pdksh 5.2.14-7 5 0.00 A public domain clone of the AT&T Korn shell soimort
prover9 2009.11A-2 8 0.00 Prover9 is an automated theorem prover for first-order and equational logic soimort
smltojs 4.4.3-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-2 0 0.00 ulex is a lexer generator for Unicode and OCaml soimort
betcon 1.7.7.1-1 1 0.00 Sports betting management soker
eclipse-i18n-es 4.7.0.R0.15.0.v20170819060001-1 12 0.00 (Español) Spanish language pack for eclipse IDE soker
kickthemout-git 0.1.r153.g9238b1b-1 1 0.00 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.9-1 2 0.00 Load me later. A lazy loading plugin management system. soker
python-odfpy 1.4.0-3 4 0.00 Python API and tools to manipulate OpenDocument files soker
python-pyexcel 0.5.15-1 2 0.02 A wrapper library that provides one API to read, manipulate and write data in different excel formats soker
python-pyexcel-io 0.5.20-1 3 0.02 A python library to read and write structured data in csv, zipped csv format and to/from databases soker
python-pyexcel-ods 0.5.6-1 3 0.02 A wrapper library to read, manipulate and write data in ods format soker
python2-odfpy 1.4.0-2 11 0.00 A complete API for OpenDocument in Python. Python 2.x support soker
python2-pynzb 0.1.0-5 30 0.00 A unified API for parsing NZB files soker
archipelago 1:3.8.1-1 0 0.00 An open-source terminal emulator built on web technology SolarAquarion
archipelago-bin 3.8.1-1 0 0.00 An open-source terminal emulator built on web technology An open-source terminal emulator built on web technology SolarAquarion
archipelago-git v2.3.2.r482.61afeb0-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.00 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
biicode 3.5-1 26 0.00 Simple C/C++ file-based dependency manager SolarAquarion
birdie-git 1.1+git.99.g89a63d3-1 45 0.18 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.4.0-2 13 0.14 breath dark icon theme SolarAquarion
breath-icon-theme 0.4.0-2 13 0.14 breath icon theme SolarAquarion
breath-wallpaper 0.4.0-2 13 0.14 breath wallpaper SolarAquarion
bterm-bin 2.0.0-1 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.r57.61c6161-1 50 0.00 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
cairo-infinality 1.17.2+11+gdfe3aa6d8-1 38 0.00 2D graphics library with support for multiple output devices (infinality version) SolarAquarion
calligra-git 3.1.0.r440.g7f40c71e674-1 19 0.00 SolarAquarion
cinnamon-menus-git 27.50310b1-1 4 0.00 Cinnamon menu specifications SolarAquarion
clang50 5.0.2-6 5 0.00 C language family frontend for LLVM SolarAquarion
crusta-browser-git 1.4.3.1.r311.g6875afc-1 1 0.00 Fast, secure, and free web browser built for the modern web. SolarAquarion
deluge-stable-git 1.3.15.r19.gd62987089-4 2 0.00 A bittorrent client written with python and pygtk - Git Stable branch Version SolarAquarion
dht 0.24-3 1 0.00 BitTorrent DHT library SolarAquarion
domterm-git 1.0.r496.g4bf07c7-1 1 0.00 Terminal emulator capable of display html and images from command output SolarAquarion
dssim-c-git 1.3.3.r13.g0219de1-1 0 0.00 DSSIM C implementation SolarAquarion
edi-git v0.7.1.2.ga752979-1 3 0.00 The EFL IDE SolarAquarion

61333 packages found. Page 1047 of 1227.

« First ‹ Previous ... 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 ... Next › Last »