| 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 |
1.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.5.0-1 |
1 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| fstar-bin |
0.9.5.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.01 |
A build automation tool for the Clojure programming language. |
soimort
|
| marst |
2.7-1 |
4 |
0.85 |
Algol to C translator |
soimort
|
| miranda |
2.042-2 |
8 |
0.11 |
Miranda programming language |
soimort
|
| mlkit |
4.3.9-1 |
1 |
0.85 |
Standard ML Compiler and Toolkit |
soimort
|
| mosml |
2.10.1-1 |
4 |
0.86 |
Moscow ML is a light-weight implementation of Standard ML (SML) |
soimort
|
| nemerle |
1.2.507.0-1 |
9 |
0.26 |
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.13 |
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 |
6 |
0.85 |
A public domain clone of the AT&T Korn shell |
soimort
|
| polyml |
5.7-1 |
21 |
0.85 |
A full implementation of Standard ML (SML) |
soimort
|
| prover9 |
2009.11A-2 |
8 |
0.08 |
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.03 |
An implementation of the logical framework LF |
soimort
|
| betcon |
1.5.2-3 |
1 |
0.30 |
Sports betting management |
soker
|
| eclipse-i18n-es |
4.7.0.R0.15.0.v20170819060001-1 |
12 |
0.87 |
(Español) Spanish language pack for eclipse IDE |
soker
|
| kickthemout-git |
0.1.r102.g26909e9-1 |
1 |
0.77 |
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.49 |
Load me later. A lazy loading plugin management system. |
soker
|
| python-odfpy |
1.3.5-2 |
1 |
0.49 |
Python API and tools to manipulate OpenDocument files |
soker
|
| python-pyexcel |
0.5.3-3 |
1 |
0.61 |
A wrapper library that provides one API to read, manipulate and write data in different excel formats |
soker
|
| python-pyexcel-io |
0.5.1-2 |
1 |
0.49 |
A python library to read and write structured data in csv, zipped csv format and to/from databases |
soker
|
| python-pyexcel-ods |
0.5.0-4 |
1 |
0.49 |
A wrapper library to read, manipulate and write data in ods format |
soker
|
| python2-aniso8601 |
1.3.0-2 |
14 |
1.36 |
A library for parsing ISO 8601 strings |
soker
|
| python2-pynzb |
0.1.0-4 |
30 |
0.42 |
A unified API for parsing NZB files |
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.03 |
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.3.0-1 |
1 |
0.04 |
breath dark icon theme |
SolarAquarion
|
| breath-icon-theme |
0.3.0-1 |
1 |
0.04 |
breath icon theme |
SolarAquarion
|
| breath-wallpaper |
0.3.0-1 |
1 |
0.04 |
breath wallpaper |
SolarAquarion
|
| bterm |
1.0.0-3 |
0 |
0.00 |
cross-platform terminal emulator |
SolarAquarion
|
| bterm-git |
v1.0.0.r15.b554087-1 |
0 |
0.00 |
cross-platform terminal emulator |
SolarAquarion
|
| bumblebee-git |
3.2.1.r50.d469a32-2 |
48 |
0.48 |
NVIDIA Optimus support for Linux through VirtualGL or primus |
SolarAquarion
|
| cairo-infinality-ultimate |
1.15.8-3 |
6 |
1.73 |
Cairo vector graphics library |
SolarAquarion
|
| cinnamon-menus-git |
27.50310b1-1 |
2 |
0.00 |
Cinnamon menu specifications |
SolarAquarion
|
| deluge-stable-git |
1.3.15.r6.g6d14be18b-1 |
1 |
0.31 |
A bittorrent client written with python and pygtk - Git Stable branch Version |
SolarAquarion
|
| entrance-git |
0.1.0_alpha1.r0.g2820b95-1 |
97 |
0.15 |
Enlightenment Display Manager |
SolarAquarion
|
| extraterm |
0.27.0-1 |
2 |
0.62 |
The swiss army chainsaw of terminal emulators . |
SolarAquarion
|