60507 packages found. Page 1035 of 1211.

« First ‹ Previous ... 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
python2-proboscis 1.2.6.0-2 13 0.16 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.141.59-1 52 0.00 Test automation server for web applications sodora
upeditor 1.0-1 5 0.00 Security plugin for UnionPay Online Pay sodora
python-gssapi 1.5.1-1 1 0.00 Python GSSAPI Wrapper Soft
rainbowpath 0.4-1 0 0.00 Program for making paths pretty. Soft
run-or-raise 0.3.1-1 1 0.37 Utility for launching applications or focusing their windows Soft
xcolor 0.4.0-1 8 0.82 Lightweight color picker for X11 Soft
libsocketpp 1.0-1 0 0.00 A modern C++ library for sockets softwaresale01
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 10 0.00 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 10 0.00 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
acl2 8.2-1 6 0.00 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.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.7.0-2 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.7.0-1 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-git 20191019-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
hol kananaskis.13-1 5 0.00 HOL4 theorem-proving system soimort
hol-git 20190312-4 0 0.00 HOL4 theorem-proving system soimort
jpcsp r0f1ba37-1 33 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
marst 2.7-1 4 0.00 Algol to C translator soimort
mathcomp-git 20191007-1 1 0.00 The Mathematical Components Library for the Coq system. soimort
miranda 2.042-2 9 0.00 Miranda programming language soimort
mlkit 4.4.3-1 1 0.00 Standard ML Compiler and Toolkit soimort
mosml 2.10.1-1 4 0.00 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 20191021-1 5 0.00 Batteries Included for OCaml soimort
ocaml-cairo-git 20150609-1 3 0.00 OCaml bindings for cairo soimort
ocaml-menhir 20190924-2 9 0.00 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-migrate-parsetree-git 20190905-1 0 0.00 Convert OCaml parsetrees between different versions soimort
ocaml-pprint 20180523-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
ocaml-ppxfind-git 20190513-2 0 0.00 ocamlfind ppx tool soimort
ocaml-ppx_derivers-git 20190404-2 0 0.00 deriving plugin registry soimort
ocaml-ppx_deriving-git 20190909-3 0 0.00 Type-driven code generation for OCaml >=4.02 soimort
ocaml-ppx_deriving_yojson-git 20191009-1 0 0.00 A Yojson codec generator for OCaml >= 4.02. soimort
ocaml-ppx_tools-git 20190719-1 0 0.00 Tools for authors of ppx rewriters and other syntactic tools soimort
ocaml-process-git 20160901-2 0 0.00 Easy process control in OCaml soimort
ocaml-stdint-git 20180606-2 0 0.00 Various signed and unsigned integers for OCaml soimort
ocaml-yojson-git 20190520-1 0 0.00 Low level JSON binary for OCaml soimort
pdksh 5.2.14-7 5 0.00 A public domain clone of the AT&T Korn shell soimort
prover9 2009.11A-2 8 0.00 Prover9 is an automated theorem prover for first-order and equational logic soimort

60507 packages found. Page 1035 of 1211.

« First ‹ Previous ... 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 ... Next › Last »