| abc-hg |
r3088.7cc77dc226de-1 |
1 |
0.00 |
System for Sequential Logic Synthesis and Formal Verification |
spaceships
|
| cryptol |
2.4.0-1 |
4 |
0.12 |
A domain-specific language for specifying cryptographic algorithms. |
spaceships
|
| cryptol-git |
2.4.0.r122.g5b502ec-1 |
1 |
0.12 |
A domain-specific language for specifying cryptographic algorithms. |
spaceships
|
| cvc4-git |
v1.4-1 |
1 |
0.09 |
An automatic theorem prover for SMT problems. |
spaceships
|
| gmp4 |
4.3.2-1 |
8 |
0.14 |
Legacy version of gmp. Provides libgmp.so.3. |
spaceships
|
| saw-script |
0.2-1 |
1 |
0.00 |
The SAW scripting language. |
spaceships
|
| saw-script-git |
cbeb831-1 |
0 |
0.00 |
The SAW scripting language. |
spaceships
|
| texlive-kbordermatrix |
1-1 |
0 |
0.00 |
A LaTeX package for drawing matrices. |
spaceships
|
| yices-bin |
2.5.2-1 |
7 |
0.00 |
An automatic theorem prover - download release binary |
spaceships
|
| colorize-git |
r8.aeeb2d2-1 |
1 |
0.03 |
*nixy filter that adds color to its standard input by rows or (space separated) columns |
sparse
|
| consolekit |
1.2.0-1 |
11 |
0.12 |
A framework for defining and tracking users, login sessions, and seats |
sparse
|
| consolekit-git |
r726.29b7384-1 |
47 |
0.07 |
A framework for defining and tracking users, login sessions, and seats |
sparse
|
| pflask-git |
r274.30d3b94-1 |
0 |
0.00 |
Lightweight process containers for Linux |
sparse
|
| songtext-git |
r7.0b4353b-1 |
2 |
0.06 |
bash script for retrieving song lyrics. |
sparse
|
| starcal |
3.0.6-3 |
2 |
0.00 |
A full-featured international calendar writen in Python |
sparse
|
| tremc-git |
r660.401f230-1 |
6 |
1.35 |
Curses interface for transmission - python3 fork of transmission-remote-cli |
sparse
|
| greyhole |
0.10.13-1 |
1 |
0.00 |
Application that uses Samba to create a storage pool of all your available hard drives and allows you to create redundant copies of the files you store, in order to prevent data loss when part of your hardware fails. |
Sparticuz
|
| codicefiscale |
3.0-2 |
0 |
0.00 |
The tax code in Italy is an alphanumeric code with a fixed length of 16 characters, inspired by the use of library, which is used to uniquely identify the tax and administrative citizens. |
specialworld83
|
| fabaria |
1.2-3 |
0 |
0.00 |
Gestionale aziendale. |
specialworld83
|
| lylibrary |
3.0-1 |
0 |
0.00 |
LyLibrary provides everything necessary to the books cataloguing, the loans management and the registration of the library readers. |
specialworld83
|
| keyleds |
0.4.3-2 |
0 |
0.00 |
Logitech Keyboard per-key lighting control |
spectras
|
| clojure-install |
1.8.0-1 |
0 |
0.00 |
The Clojure Programming Language |
spelufo
|
| scmutils |
20140302-2 |
2 |
0.00 |
Scheme library for the book Structure and Interpretation of Classical Mechanics. |
spelufo
|
| scsh-git |
20151026-2 |
3 |
0.12 |
Scheme Shell |
spelufo
|
| ulam-git |
2.0.13.r259.gdcf5ea4-3 |
0 |
0.00 |
Github version of ulam compiler and MFM simulator |
spencerharmon
|
| anonip |
0.5-1 |
1 |
0.00 |
An ip address anonymizer. |
SPF
|
| cubesql |
5.6.0-1 |
0 |
0.00 |
cubeSQL is a relational database management system built on top of the sqlite database engine. |
spheenik
|
| lib32-libgtkhtml |
2.11.1-1 |
0 |
0.00 |
An HTML library for GTK |
spheenik
|
| nvme-cli-git |
r531.f075884-1 |
2 |
0.02 |
NVM-Express user space tooling for Linux |
spheenik
|
| sylpheed-beta |
3.6.0-1 |
5 |
0.00 |
Lightweight and user-friendly e-mail client. Latest official beta version. |
spicey
|
| sylpheed-beta-iconmod |
3.6.0-1 |
6 |
0.26 |
Lightweight e-mail client. Latest official beta with the coonsden.com icon theme. |
spicey
|
| analysesi |
0.80-1 |
6 |
0.00 |
Java Entity Relationship Model application |
spider-mario
|
| bake |
0.1.49-1 |
1 |
0.00 |
An easy to use build system. Designed to be make/autotools for the 21st century. |
spider-mario
|
| cargo-git |
3:1.20.0.r65852.c35a0c1d05-1 |
26 |
0.00 |
The Rust package manager |
spider-mario
|
| cinnxp |
1.1.0-4 |
2 |
0.00 |
XP-like theme for Cinnamon |
spider-mario
|
| cinnxp-icons |
1.1.0-4 |
2 |
0.00 |
XP-like theme for Cinnamon (Cursors) |
spider-mario
|
| clonedigger |
1.0.11beta-5 |
0 |
0.00 |
Tool for finding clones in software written in Python. |
spider-mario
|
| dsf2flac-svn |
53-1 |
6 |
0.06 |
A file conversion tool for translating dsf and dff dsd audio files into flac pcm audio files. |
spider-mario
|
| dukto |
R6-1 |
23 |
0.12 |
A simple, fast and multi-platform file transfer tool for LAN users. |
spider-mario
|
| gbsplay |
0.0.93.98-1 |
7 |
0.00 |
A command line application for playing GameBoy sound files (GBS) |
spider-mario
|
| hd2u |
1.0.3-7 |
42 |
0.01 |
Dos2Unix text file converter |
spider-mario
|
| jbofihe-git |
2:0.40-1 |
4 |
0.40 |
Tools to operate on Lojban text (main feature: approximate translation to English). |
spider-mario
|
| mingw-w64-lv2 |
1.14.0-1 |
1 |
0.01 |
Successor to the LADSPA audio plug-in standard (mingw-w64) |
spider-mario
|
| mini-audicle |
1.3.5.2-1 |
2 |
0.02 |
Integrated Development + Performance Environment for ChucK |
spider-mario
|
| moarvm |
2017.09.1-1 |
20 |
0.68 |
Runtime built for the 6model object system. |
spider-mario
|
| nqp |
2017.09-1 |
27 |
1.16 |
High-level environment to create compilers and libraries for virtual machines (MoarVM backend) |
spider-mario
|
| ohcount-git |
1:2.0.1.312.g4fb66a8-1 |
10 |
0.00 |
Ohcount is a source code line counter. |
spider-mario
|
| playgsf |
0.7.1-4 |
3 |
0.14 |
Simple command line player for gsf files based on a winamp plugin |
spider-mario
|
| pocl |
0.14-2 |
9 |
0.08 |
Portable OpenCL is an open-source implementation of OpenCL which can be easily adapted for new targets |
spider-mario
|
| python-pulp |
1.6.8-2 |
3 |
0.00 |
A Linear Programming modeler written in Python |
spider-mario
|