45662 packages found. Page 775 of 914.

« First ‹ Previous ... 770 771 772 773 774 775 776 777 778 779 780 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
emacs-whitespace-mode 20150609-1 0 0.00 Major mode for editing Whitespace (an esoteric programming language). soimort
fstar 0.9.5.0-1 1 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.5.0-1 2 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-git 20170222-1 5 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
kawa 2.4-1 6 0.00 A Scheme implementation and framework targeted the JVM. soimort
kawa-svn 8533-1 1 0.00 Kawa is a JVM-based Scheme compiler soimort
leiningen2-git 20150609-1 10 0.01 A build automation tool for the Clojure programming language. soimort
marst 2.7-1 4 0.86 Algol to C translator soimort
miranda 2.042-2 8 0.11 Miranda programming language soimort
mlkit 4.3.9-1 1 0.86 Standard ML Compiler and Toolkit soimort
mosml 2.10.1-1 4 0.86 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
nemerle 1.2.507.0-1 9 0.26 A high-level statically-typed programming language for the .NET platform. soimort
ocaml-batteries-git 20150609-1 4 0.00 Batteries Included for OCaml soimort
ocaml-cairo-git 20150609-1 2 0.00 OCaml bindings for cairo soimort
ocaml-menhir 20170712-1 9 0.13 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-pprint 20150316-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
pdksh 5.2.14-7 6 0.86 A public domain clone of the AT&T Korn shell soimort
polyml 5.7-1 21 0.86 A full implementation of Standard ML (SML) soimort
prover9 2009.11A-2 8 0.08 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.03 An implementation of the logical framework LF soimort
betcon 1.5.2-3 1 0.30 Sports betting management soker
eclipse-i18n-es 4.7.0.R0.15.0.v20170819060001-1 12 0.88 (Español) Spanish language pack for eclipse IDE soker
kickthemout-git 0.1.r102.g26909e9-1 1 0.77 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.49 Load me later. A lazy loading plugin management system. soker
python-odfpy 1.3.5-2 1 0.49 Python API and tools to manipulate OpenDocument files soker
python-pyexcel 0.5.3-3 1 0.62 A wrapper library that provides one API to read, manipulate and write data in different excel formats soker
python-pyexcel-io 0.5.1-2 1 0.49 A python library to read and write structured data in csv, zipped csv format and to/from databases soker
python-pyexcel-ods 0.5.0-4 1 0.49 A wrapper library to read, manipulate and write data in ods format soker
python2-aniso8601 1.3.0-2 14 1.36 A library for parsing ISO 8601 strings soker
python2-pynzb 0.1.0-4 30 0.42 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.03 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.3.0-1 1 0.04 breath dark icon theme SolarAquarion
breath-icon-theme 0.3.0-1 1 0.04 breath icon theme SolarAquarion
breath-wallpaper 0.3.0-1 1 0.04 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.48 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
cairo-infinality-ultimate 1.15.8-3 6 1.74 Cairo vector graphics library SolarAquarion
cinnamon-menus-git 27.50310b1-1 2 0.00 Cinnamon menu specifications SolarAquarion
deluge-stable-git 1.3.15.r6.g6d14be18b-1 1 0.31 A bittorrent client written with python and pygtk - Git Stable branch Version SolarAquarion
entrance-git 0.1.0_alpha1.r0.g2820b95-1 97 0.15 Enlightenment Display Manager SolarAquarion
extraterm 0.27.0-1 2 0.62 The swiss army chainsaw of terminal emulators . SolarAquarion
falkon-git 2.1.2.r4422.d42b1ecf-1 1 0.89 Cross-platform Qt Web Browser 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
fontconfig-infinality-ultimate 2.12.5-4 9 3.43 A library for configuring and customizing font access, optimized for freetype2-infinality-ultimate. SolarAquarion

45662 packages found. Page 775 of 914.

« First ‹ Previous ... 770 771 772 773 774 775 776 777 778 779 780 ... Next › Last »