48957 packages found. Page 155 of 980.

« First ‹ Previous ... 150 151 152 153 154 155 156 157 158 159 160 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
ocaml-cairo-git 20150609-1 3 0.02 OCaml bindings for cairo soimort
ocaml-batteries-git 20180122-1 5 0.02 Batteries Included for OCaml soimort
nemerle 1.2.507.0-1 9 0.00 A high-level statically-typed programming language for the .NET platform. soimort
mosml 2.10.1-1 4 0.01 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
mlkit 4.3.12-1 1 0.01 Standard ML Compiler and Toolkit soimort
miranda 2.042-2 9 0.12 Miranda programming language soimort
mathcomp-git 20170913-1 0 0.00 The Mathematical Components Library for the Coq system. soimort
marst 2.7-1 4 0.01 Algol to C translator soimort
leiningen2-git 20150609-1 9 0.00 A build automation tool for the Clojure programming language. soimort
kawa-svn 8533-1 1 0.00 Kawa is a JVM-based Scheme compiler soimort
kawa 3.0-1 6 0.00 A Scheme implementation and framework targeted the JVM. soimort
jpcsp r0f1ba37-1 34 0.00 Java PSP Emulator soimort
fstar-git 20180418-1 6 0.06 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.5.0-1 4 0.37 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar 0.9.5.0-2 3 0.08 A Higher-Order Effectful Language Designed for Program Verification 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 1 0.01 Major mode for editing Mozart/Oz. 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-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-2 0 0.00 Major mode for ATS programming language. soimort
emacs-arduino-mode-git 20150609-1 6 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.3-1 41 0.00 A 3D modeling and rendering studio (Art of Illusion) soimort
acl2 8.0-1 6 0.01 ACL2 theorem prover. soimort
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 10 0.06 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 10 0.06 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
neo4j-community 3.2.6-2 58 0.73 A fully transactional graph database implemented in Java softbot
xcolor 0.4.0-1 2 1.37 Lightweight color picker for X11 Soft
upeditor 1.0-1 5 0.00 Security plugin for UnionPay Online Pay sodora
selenium-server-standalone 3.11.0-1 51 0.40 Test automation server for web applications sodora
python2-proboscis 1.2.6.0-2 12 0.59 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-2 12 0.59 Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. sodora
python-pygrib 2.0.1-1 3 0.00 Python module for reading and writing GRIB (editions 1 and 2) files. sodaBitters
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 3 0.00 Allows to open multiple LUKS containers during boot (optionally using just a single passphrase) socke
frida-git 0.2.r19.g79d63f5-1 1 0.00 FrIDa is an interactive disassembler based on LLVM and Qt socke
frida 0.2-1 1 0.00 FrIDa is an interactive disassembler based on LLVM and Qt socke
python-zipline 0.7.0-1 0 0.00 A backtester for financial algorithms. sobh
smplayer-svn-notitlebar 18.3.0.r8982M-1 1 0.48 Advanced front-end for MPlayer/MPV + Patch to disable titlebar in compact mode snqlby
tailor 0.12.0-1 2 0.00 Cross-platform static analyzer and linter for Swift 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
jarversion 1.0-1 1 0.00 Simple tool that reads the Implementation-Version attribute of a jar file. snowdragon
cvdrone-git 1.0.0-1 2 0.00 AR Drone 2.0 SDK written in C++ and QT snowdragon
glassfish-v4 4.1.2-1 19 0.01 GlassFish 4 is a Java EE 7 open source application server Snowball239
python2-sacred 0.7.1-1 1 0.17 Sacred is a tool to configure, organize, log and reproduce computational experiments. snowball
python-sacred 0.7.1-1 1 0.17 Sacred is a tool to configure, organize, log and reproduce computational experiments. snowball
canon-ts9020 2.5.40-2 0 0.00 Canon TS9020 MFC cups and scanner Drivers snostorm

48957 packages found. Page 155 of 980.

« First ‹ Previous ... 150 151 152 153 154 155 156 157 158 159 160 ... Next › Last »