38966 packages found. Page 114 of 780.

« First ‹ Previous ... 109 110 111 112 113 114 115 116 117 118 119 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
twelf-git 20130819-2 0 0.00 An implementation of the logical framework LF soimort
twelf 1.7.1-2 0 0.00 An implementation of the logical framework LF soimort
smltojs 4.3.9-1 1 0.00 Standard ML to JavaScript compiler soimort
prover9 2009.11A-2 7 0.76 Prover9 is an automated theorem prover for first-order and equational logic soimort
polyml 5.6-1 20 0.02 A full implementation of Standard ML (SML) soimort
pdksh 5.2.14-7 5 0.00 A public domain clone of the AT&T Korn shell soimort
ocaml-menhir 20161115-1 7 0.00 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-cairo-git 20150609-1 2 0.00 OCaml bindings for cairo soimort
ocaml-batteries-git 20150609-1 4 0.00 Batteries Included for OCaml soimort
nemerle 1.2.507.0-1 8 0.00 A high-level statically-typed programming language for the .NET platform. soimort
mosml 2.10.1-1 3 1.40 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
mlkit 4.3.9-1 0 0.00 Standard ML Compiler and Toolkit soimort
miranda 2.042-2 7 0.00 Miranda programming language soimort
marst 2.7-1 3 0.00 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.04 Kawa is a JVM-based Scheme compiler soimort
kawa 2.2-1 6 0.04 A Scheme implementation and framework targeted the JVM. soimort
fstar-git 20160901-1 5 0.45 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.2.0-1 2 0.02 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar 0.9.2.0-2 1 0.01 A Higher-Order Effectful Language Designed for Program Verification soimort
fsharp 4.0.1.20-1 31 1.37 The Open Edition of the F# compiler, core library and tools 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 0 0.00 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-1 0 0.00 Major mode for ATS programming language. soimort
emacs-arduino-mode-git 20150609-1 7 0.40 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.2-1 41 0.03 A 3D modeling and rendering studio (Art of Illusion) soimort
acl2 7.2-2 4 0.00 ACL2 theorem prover. soimort
deadbeef-plugin-infobar-ng-gtk3-hg 183-1 8 0.90 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. Softwayer
deadbeef-plugin-infobar-ng-gtk2-hg 183-1 8 0.90 The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. Softwayer
upeditor 1.0-1 3 0.00 Security plugin for UnionPay Online Pay sodora
selenium-server-standalone 3.0.1-1 47 1.04 Test automation server for web applications sodora
python2-proboscis 1.2.6.0-1 6 0.40 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-1 6 0.40 Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. sodora
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 2 0.01 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
tiddlywiki 5.1.9-2 14 0.00 Personal wiki where everything is in one html-file snowdragon
tiddlydesktop 0.0.4-1 5 0.05 TiddlyDesktop is a special purpose web browser for working with locally stored TiddlyWikis. snowdragon
tailor 0.9.1-2 1 0.01 Cross-platform static analyzer and linter for Swift snowdragon
keepass-readable-passphrase-generator 0.16.0-1 6 0.22 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
keepass-password-counter 0.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

38966 packages found. Page 114 of 780.

« First ‹ Previous ... 109 110 111 112 113 114 115 116 117 118 119 ... Next › Last »