| 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.38 |
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.89 |
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.45 |
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.26 |
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.12 |
An implementation of the logical framework LF |
soimort
|
| betcon |
1.2.3-1 |
0 |
0.00 |
Sports betting management |
soker
|
| netbeans-es |
8.2-1 |
1 |
0.00 |
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.09 |
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.12 |
breath dark icon theme |
SolarAquarion
|
| breath-icon-theme |
0.2.0-3 |
1 |
0.12 |
breath icon theme |
SolarAquarion
|
| breath-wallpaper |
0.2.0-3 |
1 |
0.12 |
breath wallpaper |
SolarAquarion
|
| bterm |
1.0.0-3 |
0 |
0.00 |
cross-platform terminal emulator |
SolarAquarion
|
| bterm-git |
v1.0.0.r10.8b9d9f2-3 |
0 |
0.00 |
cross-platform terminal emulator |
SolarAquarion
|
| bumblebee-git |
3.2.1.r50.d469a32-2 |
47 |
0.10 |
NVIDIA Optimus support for Linux through VirtualGL or primus |
SolarAquarion
|
| cairo-infinality-ultimate |
1.14.8-3 |
4 |
1.08 |
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.26.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 |
5 |
2.58 |
A library for configuring and customizing font access, optimized for freetype2-infinality-ultimate. |
SolarAquarion
|
| freetype2-demos-infinality |
2.8-2 |
8 |
2.61 |
Freetype tools and demos |
SolarAquarion
|
| freetype2-infinality-ultimate |
2.8-2 |
8 |
2.61 |
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
|
| garcon-git |
0.5.0.67.gba006f7-1 |
0 |
0.00 |
Freedesktop.org compliant menu library |
SolarAquarion
|
| ghostwriter-git |
v1.4.2.r1.g812199f-1 |
1 |
0.00 |
ghostwriter is a cross-platform, aesthetic, distraction-free Markdown editor. |
SolarAquarion
|
| gnome-shell-theme-ciliora-secunda-git |
r125.4d21682-1 |
1 |
0.38 |
Ciliora Tertia GNOME Shell theme. |
SolarAquarion
|
| hedera-theme-git |
0.r2.f92f398-2 |
1 |
0.15 |
Eye-friendly GUIKit based on breeze |
SolarAquarion
|
| kvirc-git |
4.3.2.r7104.48fd3bc45-1 |
2 |
0.02 |
Qt5 based IRC-Client, compiled with kde4 support - Git Version |
SolarAquarion
|
| lib32-fontconfig-infinality-ultimate |
2.12.3-1 |
0 |
0.00 |
A library for configuring and customizing font access (32-bit, infinality-bundle) |
SolarAquarion
|
| lib32-freetype2-infinality-ultimate |
2.8-2 |
1 |
0.37 |
TrueType font rendering library with Infinality patches and custom settings by bohoomil (32-bit, infinality-bundle). |
SolarAquarion
|