45537 packages found. Page 767 of 911.

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

Name Version Votes Popularity? Description Maintainer
tiddlywiki 5.1.14-1 14 0.00 Personal wiki where everything is in one html-file snowdragon
yandex-browser-codecs-ffmpeg-extra-bin 62.0.3202.89-1386 0 0.00 Prebuilt ffmpeg-codecs package for yandex.browser 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.01 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 10 0.98 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 10 0.98 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.6.0-1 49 0.26 Test automation server for web applications sodora
upeditor 1.0-1 5 0.09 Security plugin for UnionPay Online Pay sodora
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 10 1.15 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 10 1.15 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
acl2 7.4-1 6 0.27 ACL2 theorem prover. soimort
aoi 3.0.3-1 41 0.07 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-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 1 0.30 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 2 0.52 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 20171024-1 5 0.00 A Higher-Order Effectful Language Designed for Program Verification 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 10 0.00 A build automation tool for the Clojure programming language. soimort
marst 2.7-1 4 0.26 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 8 0.03 Miranda programming language soimort
mlkit 4.3.9-1 1 0.26 Standard ML Compiler and Toolkit soimort
mosml 2.10.1-1 4 0.26 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
nemerle 1.2.507.0-1 9 0.08 A high-level statically-typed programming language for the .NET platform. soimort
ocaml-batteries-git 20150609-1 5 0.52 Batteries Included for OCaml soimort
ocaml-cairo-git 20150609-1 3 0.41 OCaml bindings for cairo soimort
ocaml-menhir 20171013-1 9 0.04 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-pprint 20171003-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
ocaml-stdint-git 20171013-2 0 0.00 Various signed and unsigned integers for OCaml soimort
pdksh 5.2.14-7 6 0.26 A public domain clone of the AT&T Korn shell soimort
polyml 5.7-1 21 0.26 A full implementation of Standard ML (SML) soimort
prover9 2009.11A-2 8 0.02 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.01 An implementation of the logical framework LF soimort
betcon 1.6-2 1 0.09 Sports betting management soker

45537 packages found. Page 767 of 911.

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