| tiddlywiki |
5.1.14-1 |
14 |
0.00 |
Personal wiki where everything is in one html-file |
snowdragon
|
| python-zipline |
0.7.0-1 |
0 |
0.00 |
A backtester for financial algorithms. |
sobh
|
| frida |
0.2-1 |
1 |
0.00 |
FrIDa is an interactive disassembler based on LLVM and Qt |
socke
|
| frida-git |
0.2.r19.g79d63f5-1 |
1 |
0.00 |
FrIDa is an interactive disassembler based on LLVM and Qt |
socke
|
| mkinitcpio-multiencrypt |
1.3-1 |
3 |
0.07 |
Allows to open multiple LUKS containers during boot (optionally using just a single passphrase) |
socke
|
| python-flipflop |
1.0-1 |
1 |
0.00 |
A python FastCGI wrapper for WSGI applications |
socke
|
| 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-pygrib |
2.0.1-1 |
3 |
0.00 |
Python module for reading and writing GRIB (editions 1 and 2) files. |
sodaBitters
|
| python-proboscis |
1.2.6.0-1 |
8 |
0.14 |
Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. |
sodora
|
| python2-proboscis |
1.2.6.0-1 |
8 |
0.14 |
Proboscis is a Python test framework that extends Python’s built-in unittest module and Nose with features from TestNG. |
sodora
|
| selenium-server-standalone |
3.4.0-1 |
48 |
0.27 |
Test automation server for web applications |
sodora
|
| upeditor |
1.0-1 |
5 |
1.02 |
Security plugin for UnionPay Online Pay |
sodora
|
| deadbeef-plugin-infobar-ng-gtk2-hg |
183-1 |
8 |
0.11 |
The Infobar-ng plugin for the DeaDBeeF audio player. The GTK2 version. |
Softwayer
|
| deadbeef-plugin-infobar-ng-gtk3-hg |
183-1 |
8 |
0.11 |
The Infobar-ng plugin for the DeaDBeeF audio player. The GTK3 version. |
Softwayer
|
| acl2 |
7.4-1 |
5 |
0.24 |
ACL2 theorem prover. |
soimort
|
| aoi |
3.0.3-1 |
41 |
0.74 |
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.02 |
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.35 |
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.83 |
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.42 |
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.25 |
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.11 |
An implementation of the logical framework LF |
soimort
|
| betcon |
1.3.4-3 |
1 |
0.96 |
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
|