45279 packages found. Page 768 of 906.

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

Name Version Votes Popularity? Description Maintainer
glassfish-v4 4.1.2-1 19 0.98 GlassFish 4 is a Java EE 7 open source application server Snowball239
cvdrone-git 1.0.0-1 2 0.00 AR Drone 2.0 SDK written in C++ and QT snowdragon
jarversion 1.0-1 1 0.00 Simple tool that reads the Implementation-Version attribute of a jar file. snowdragon
keepass-password-counter 0.1-1 1 0.00 This plugin provides a button in the entry dialog with the number of entries that use the password of the open entry, too. It is possible to get the complete list of entries that use the reference password. snowdragon
keepass-readable-passphrase-generator 0.17.0-1 6 0.03 The Readable Passphrase Generator generates passphrases which are (mostly) grammatically correct but nonsensical. These are easy to remember (for humans) but difficult to guess (for humans and computers). snowdragon
tailor 0.12.0-1 2 0.07 Cross-platform static analyzer and linter for Swift snowdragon
tiddlydesktop 0.0.8-1 5 0.00 TiddlyDesktop is a special purpose web browser for working with locally stored TiddlyWikis. snowdragon
tiddlywiki 5.1.14-1 14 0.00 Personal wiki where everything is in one html-file snowdragon
python-zipline 0.7.0-1 0 0.00 A backtester for financial algorithms. sobh
frida 0.2-1 1 0.00 FrIDa is an interactive disassembler based on LLVM and Qt socke
frida-git 0.2.r19.g79d63f5-1 1 0.00 FrIDa is an interactive disassembler based on LLVM and Qt socke
mkinitcpio-multiencrypt 1.3-1 3 0.04 Allows to open multiple LUKS containers during boot (optionally using just a single passphrase) socke
python-flipflop 1.0-1 1 0.00 A python FastCGI wrapper for WSGI applications socke
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-pygrib 2.0.1-1 3 0.00 Python module for reading and writing GRIB (editions 1 and 2) files. sodaBitters
python-proboscis 1.2.6.0-1 8 0.09 Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. sodora
python2-proboscis 1.2.6.0-1 8 0.09 Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. sodora
selenium-server-standalone 3.5.1-1 50 1.69 Test automation server for web applications sodora
upeditor 1.0-1 5 0.62 Security plugin for UnionPay Online Pay sodora
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 8 0.07 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 8 0.07 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
acl2 7.4-1 5 0.15 ACL2 theorem prover. soimort
aoi 3.0.3-1 41 0.45 A 3D modeling and rendering studio (Art of Illusion) soimort
emacs-android-git 20150609-1 8 0.00 Emacs minor mode for Android application development soimort
emacs-arduino-mode-git 20150609-1 7 0.00 Major mode for the Arduino language. soimort
emacs-ats-mode 20150609-1 0 0.00 Major mode for ATS programming language. soimort
emacs-emmet-mode-git 20150609-1 1 0.00 Minor mode providing support for Zen Coding, with Emmet's feature expansion. soimort
emacs-idris-mode-git 20150609-1 1 0.00 Major mode for editing Idris. soimort
emacs-less-css-mode-git 20150609-1 1 0.00 Major mode for LESS CSS (lesscss.org), with support for compile-on-save. soimort
emacs-oz-mode 20150609-1 0 0.00 Major mode for editing Mozart/Oz. soimort
emacs-processing-mode-git 20150609-1 2 0.00 Major mode for Processing 2.0. soimort
emacs-whitespace-mode 20150609-1 0 0.00 Major mode for editing Whitespace (an esoteric programming language). soimort
fstar 0.9.4.0-2 1 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.4.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 3 0.00 Algol to C translator soimort
miranda 2.042-2 8 0.21 Miranda programming language soimort
mlkit 4.3.9-1 0 0.00 Standard ML Compiler and Toolkit soimort
mosml 2.10.1-1 3 0.01 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
nemerle 1.2.507.0-1 9 0.50 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.26 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 5 0.00 A public domain clone of the AT&T Korn shell soimort
polyml 5.7-1 20 0.00 A full implementation of Standard ML (SML) soimort
prover9 2009.11A-2 8 0.15 Prover9 is an automated theorem prover for first-order and equational logic soimort

45279 packages found. Page 768 of 906.

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