52343 packages found. Page 892 of 1047.

« First ‹ Previous ... 887 888 889 890 891 892 893 894 895 896 897 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
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.6.0-1 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.6.0-2 4 0.02 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-git 20180518-1 6 0.00 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
marst 2.7-1 4 0.00 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.01 Miranda programming language soimort
mlkit 4.3.18-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 20180122-1 5 0.00 Batteries Included for OCaml soimort
ocaml-cairo-git 20150609-1 3 0.00 OCaml bindings for cairo soimort
ocaml-menhir 20180905-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-ppxfind-git 20171213-3 0 0.00 ocamlfind ppx tool soimort
ocaml-ppx_derivers-git 20180224-1 0 0.00 deriving plugin registry soimort
ocaml-ppx_deriving-git 20180318-1 0 0.00 Type-driven code generation for OCaml >=4.02 soimort
ocaml-ppx_deriving_yojson-git 20180406-1 0 0.00 A Yojson codec generator for OCaml >= 4.02. soimort
ocaml-process-git 20160901-1 0 0.00 Easy process control in OCaml soimort
ocaml-stdint-git 20180226-1 0 0.00 Various signed and unsigned integers for OCaml soimort
pdksh 5.2.14-7 6 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
smltojs 4.3.12-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.00 An implementation of the logical framework LF soimort
ulex-git 20171127-1 0 0.00 ulex is a lexer generator for Unicode and OCaml soimort
betcon 1.7.6.1-1 1 0.00 Sports betting management soker
eclipse-i18n-es 4.7.0.R0.15.0.v20170819060001-1 12 0.00 (Español) Spanish language pack for eclipse IDE soker
kickthemout-git 0.1.r110.g0099733-1 1 0.00 Kick devices off your network by performing an ARP Spoof attack. soker
netbeans-es 8.2-1 1 0.00 Netbeans IDE development platform in Spanish soker
python-lml 0.0.1-2 1 0.00 Load me later. A lazy loading plugin management system. soker
python-odfpy 1.3.6-1 2 0.00 Python API and tools to manipulate OpenDocument files soker
python-pyexcel 0.5.9.1-1 1 0.00 A wrapper library that provides one API to read, manipulate and write data in different excel formats soker
python-pyexcel-io 0.5.6-1 1 0.00 A python library to read and write structured data in csv, zipped csv format and to/from databases soker
python-pyexcel-ods 0.5.3-1 1 0.00 A wrapper library to read, manipulate and write data in ods format soker
python2-odfpy 1.3.6-1 11 0.00 A complete API for OpenDocument in Python. Python 2.x support soker
python2-pynzb 0.1.0-5 30 0.00 A unified API for parsing NZB files soker
archipelago 1:2.3.2-1 0 0.00 An open-source terminal emulator built on web technology SolarAquarion
archipelago-bin 2.3.0-1 0 0.00 An open-source terminal emulator built on web technology An open-source terminal emulator built on web technology SolarAquarion
archipelago-git v1.0.5.r153.a18a53f-1 0 0.00 A terminal for a more modern age SolarAquarion
bamf-ubuntu 0.5.3.16.10.20160929-1 0 0.00 Removes the headache of applications matching into a simple DBus daemon and c wrapper library SolarAquarion
bashstyle-git 0.10.3.r11.g3613554-1 2 0.01 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
birdie-git 1.1+git.95.g9d7e4e5-1 45 0.00 Twitter client for Linux SolarAquarion
bluefish-svn 8503-2 6 0.00 SVN version of the programmer's HTML editor written using GTK SolarAquarion

52343 packages found. Page 892 of 1047.

« First ‹ Previous ... 887 888 889 890 891 892 893 894 895 896 897 ... Next › Last »