44743 packages found. Page 760 of 895.

« First ‹ Previous ... 755 756 757 758 759 760 761 762 763 764 765 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
acl2 7.4-1 5 0.28 ACL2 theorem prover. soimort
aoi 3.0.3-1 41 0.86 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 7 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 0 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.4.0-2 1 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.4.0-1 2 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-git 20170222-1 5 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
kawa 2.4-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.03 A build automation tool for the Clojure programming language. soimort
marst 2.7-1 3 0.00 Algol to C translator soimort
miranda 2.042-2 8 0.41 Miranda programming language soimort
mlkit 4.3.9-1 0 0.00 Standard ML Compiler and Toolkit soimort
mosml 2.10.1-1 3 0.01 Moscow ML is a light-weight implementation of Standard ML (SML) soimort
nemerle 1.2.507.0-1 9 0.97 A high-level statically-typed programming language for the .NET platform. soimort
ocaml-batteries-git 20150609-1 4 0.00 Batteries Included for OCaml soimort
ocaml-cairo-git 20150609-1 2 0.00 OCaml bindings for cairo soimort
ocaml-menhir 20170712-1 9 0.49 Menhir is a LR(1) parser generator for the OCaml. soimort
ocaml-pprint 20150316-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort
pdksh 5.2.14-7 5 0.00 A public domain clone of the AT&T Korn shell soimort
polyml 5.7-1 20 0.00 A full implementation of Standard ML (SML) soimort
prover9 2009.11A-2 8 0.29 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.13 An implementation of the logical framework LF soimort
netbeans-es 8.2-1 1 0.01 Netbeans IDE development platform in Spanish soker
python-trakt-git 20161105-1 0 0.00 API Python for trakt soker
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.9.1.r86.g8fecd78-1 1 0.10 A PyGTK client for managing bash, readline, vim, and nano settings (git version) SolarAquarion
bluefish-svn 8503-2 6 0.00 SVN version of the programmer's HTML editor written using GTK SolarAquarion
breath-dark-icon-theme 0.2.0-3 1 0.14 breath dark icon theme SolarAquarion
breath-icon-theme 0.2.0-3 1 0.14 breath icon theme SolarAquarion
breath-wallpaper 0.2.0-3 1 0.14 breath wallpaper SolarAquarion
bumblebee-git 3.2.1.r50.d469a32-2 47 0.11 NVIDIA Optimus support for Linux through VirtualGL or primus SolarAquarion
cairo-infinality-ultimate 1.14.8-3 4 1.18 Cairo vector graphics library SolarAquarion
cinnamon-menus-git 27.50310b1-1 2 0.00 Cinnamon menu specifications SolarAquarion
deluge-stable-git 1:1.3.12.r57.g90a22af-1 0 0.00 A bittorrent client written with python and pygtk - Git Stable branch Version SolarAquarion
extraterm 0.25.0-1 0 0.00 The swiss army chainsaw of terminal emulators . SolarAquarion
file-commander-git 0.9.3.2.r33.g7efe4eb-3 0 0.00 Qt-based cross-platform Total Commander-like orthodox file manager for Windows, Mac and Linux SolarAquarion
fontconfig-infinality-ultimate 2.12.1-4 4 1.79 A library for configuring and customizing font access, optimized for freetype2-infinality-ultimate. SolarAquarion
freetype2-demos-infinality 2.8-2 8 2.83 Freetype tools and demos SolarAquarion
freetype2-infinality-ultimate 2.8-2 8 2.83 TrueType font rendering library with Infinality patches and custom settings by bohoomil SolarAquarion
fvwm-git 2.6.7.r27.g597a4e29-1 0 0.00 A powerful ICCCM2 compliant multiple virtual desktop window manager for X11 SolarAquarion

44743 packages found. Page 760 of 895.

« First ‹ Previous ... 755 756 757 758 759 760 761 762 763 764 765 ... Next › Last »