48890 packages found. Page 824 of 978.

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

Name Version Votes Popularity? Description Maintainer
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
tailor 0.12.0-1 2 0.00 Cross-platform static analyzer and linter for Swift snowdragon
smplayer-svn-notitlebar 18.3.0.r8982M-1 1 0.51 Advanced front-end for MPlayer/MPV + Patch to disable titlebar in compact mode snqlby
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.00 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-2 12 0.63 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-2 12 0.63 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.11.0-1 51 0.43 Test automation server for web applications sodora
upeditor 1.0-1 5 0.00 Security plugin for UnionPay Online Pay sodora
xcolor 0.4.0-1 2 1.46 Lightweight color picker for X11 Soft
neo4j-community 3.2.6-2 58 0.77 A fully transactional graph database implemented in Java softbot
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 10 0.06 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 10 0.06 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
acl2 8.0-1 6 0.01 ACL2 theorem prover. soimort
aoi 3.0.3-1 41 0.00 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 6 0.00 Major mode for the Arduino language. soimort
emacs-ats-mode 20150609-2 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 1 0.02 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.5.0-2 3 0.09 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.5.0-1 4 0.40 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-git 20180418-1 6 0.06 A Higher-Order Effectful Language Designed for Program Verification soimort
jpcsp r0f1ba37-1 34 0.00 Java PSP Emulator soimort
kawa 3.0-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 9 0.00 A build automation tool for the Clojure programming language. soimort
marst 2.7-1 4 0.01 Algol to C translator soimort
mathcomp-git 20170913-1 0 0.00 The Mathematical Components Library for the Coq system. soimort
miranda 2.042-2 9 0.13 Miranda programming language soimort
mlkit 4.3.12-1 1 0.01 Standard ML Compiler and Toolkit soimort
mosml 2.10.1-1 4 0.01 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
nemerle 1.2.507.0-1 9 0.00 A high-level statically-typed programming language for the .NET platform. soimort
ocaml-batteries-git 20180122-1 5 0.03 Batteries Included for OCaml soimort
ocaml-cairo-git 20150609-1 3 0.02 OCaml bindings for cairo soimort
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

48890 packages found. Page 824 of 978.

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