36368 packages found. Page 106 of 728.

« First ‹ Previous ... 101 102 103 104 105 106 107 108 109 110 111 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
gnome-shell-theme-ciliora-secunda-git r125.4d21682-1 0 0.00 Ciliora Tertia GNOME Shell theme. SolarAquarion
finch-hg 3.r37585.a8e63f1a5b5c-1 0 0.00 A ncurses-based messaging client 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
cinnamon-menus-git 27.50310b1-1 2 0.45 Cinnamon menu specifications SolarAquarion
bumblebee-git 3.2.1.r18.3c6f9c9-1 43 1.42 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
bluefish-svn 8503-2 6 0.00 SVN version of the programmer's HTML editor written using GTK SolarAquarion
bashstyle-git 0.9.1.r86.g8fecd78-1 0 0.00 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
elfix 0.9.2-1 2 0.49 paxctl-ng and revdep-pax from gentoo git sol56
netbeans-es 8.1-1 0 0.00 Netbeans IDE development platform in Spanish soker
twelf-git 20130819-2 0 0.00 An implementation of the logical framework LF soimort
twelf 1.7.1-2 0 0.00 An implementation of the logical framework LF soimort
smltojs 4.3.9-1 1 0.00 Standard ML to JavaScript compiler soimort
prover9 2009.11A-2 6 0.00 Prover9 is an automated theorem prover for first-order and equational logic soimort
polyml 5.6-1 20 0.24 A full implementation of Standard ML (SML) soimort
pdksh 5.2.14-7 5 0.00 A public domain clone of the AT&T Korn shell soimort
ocaml-menhir 20160303-1 7 0.00 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-cairo-git 20150609-1 2 0.00 OCaml bindings for cairo soimort
ocaml-batteries-git 20150609-1 4 0.00 Batteries Included for OCaml soimort
nemerle 1.2.447.0-1 8 0.00 A high-level statically-typed programming language for the .NET platform. soimort
mosml 2.10.1-1 1 0.04 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
mlkit 4.3.9-1 0 0.00 Standard ML Compiler and Toolkit soimort
miranda 2.042-2 7 0.00 Miranda programming language soimort
marst 2.7-1 3 0.00 Algol to C translator soimort
leiningen2-git 20150609-1 9 0.03 A build automation tool for the Clojure programming language. soimort
kawa-svn 8533-1 1 0.57 Kawa is a JVM-based Scheme compiler soimort
kawa 2.1-1 6 0.57 A Scheme implementation and framework targeted the JVM. soimort
fstar-git 20160312-1 4 0.25 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.2.0-1 2 0.32 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar 0.9.2.0-1 1 0.23 A Higher-Order Effectful Language Designed for Program Verification soimort
fsharp 4.0.1.8-1 27 0.48 The Open Edition of the F# compiler, core library and tools soimort
emacs-whitespace-mode 20150609-1 0 0.00 Major mode for editing Whitespace (an esoteric programming language). soimort
emacs-processing-mode-git 20150609-1 2 0.00 Major mode for Processing 2.0. soimort
emacs-oz-mode 20150609-1 0 0.00 Major mode for editing Mozart/Oz. soimort
emacs-less-css-mode-git 20150609-1 1 0.06 Major mode for LESS CSS (lesscss.org), with support for compile-on-save. soimort
emacs-idris-mode-git 20150609-1 1 0.00 Major mode for editing Idris. soimort
emacs-emmet-mode-git 20150609-1 1 0.00 Minor mode providing support for Zen Coding, with Emmet's feature expansion. soimort
emacs-ats-mode 20150609-1 0 0.00 Major mode for ATS programming language. soimort
emacs-arduino-mode-git 20150609-1 5 0.00 Major mode for the Arduino language. soimort
emacs-android-git 20150609-1 8 0.00 Emacs minor mode for Android application development soimort
aoi 3.0.2-1 41 0.47 A 3D modeling and rendering studio (Art of Illusion) soimort
acl2 7.2-2 4 0.05 ACL2 theorem prover. soimort
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 6 0.40 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 6 0.40 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
upeditor 1.0-1 3 0.00 Security plugin for UnionPay Online Pay sodora
selenium-server-standalone 2.53.0-1 44 0.61 Test automation server for web applications sodora
python2-proboscis 1.2.6.0-1 5 0.19 Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. sodora
python-proboscis 1.2.6.0-1 5 0.19 Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. sodora
python-pyassimp-git git-1-1 1 0.00 Portable Open Source library to import various well-known 3D model formats in an uniform manner. Python binding. socke
python-flipflop 1.0-1 1 0.00 A python FastCGI wrapper for WSGI applications socke
mkinitcpio-multiencrypt 1.3-1 2 0.15 Allows to open multiple LUKS containers during boot (optionally using just a single passphrase) socke

36368 packages found. Page 106 of 728.

« First ‹ Previous ... 101 102 103 104 105 106 107 108 109 110 111 ... Next › Last »