key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
libunicap
|
0.9.12-3 |
2 |
0.00
|
Provides a uniform API for all kinds of video capture devices |
orphan
|
2017-05-07 18:08 (UTC) |
keepass-password-counter
|
0.1-1 |
2 |
0.01
|
This plugin provides a button in the entry dialog with the number of entries that use the password of the open entry, too. It is possible to get the complete list of entries that use the reference password. |
snowdragon
|
2017-05-09 22:50 (UTC) |
skeleton
|
0.3.3-1 |
1 |
0.00
|
Skeleton project manager |
vbrandl
|
2017-05-10 09:07 (UTC) |
prosody-mod-auto-accept-subscriptions-hg
|
tip-1 |
0 |
0.00
|
automatically accept subscriptions from other contacts (friendly environment) |
theYinYeti
|
2017-05-14 15:01 (UTC) |
prosody-mod-offline-email-hg
|
tip-1 |
0 |
0.00
|
send by email the messages received while offline (if email/alias==jid) |
theYinYeti
|
2017-05-14 15:44 (UTC) |
mei-amt-check-git
|
r8.a4d8fca-1 |
9 |
0.00
|
Check whether AMT is enabled and provisioned under Linux |
hitori
|
2017-05-14 17:57 (UTC) |
prosody-mod-auth-ldap2-hg
|
tip-1 |
0 |
0.00
|
LDAP authentication through OpenLDAP for Prosody |
theYinYeti
|
2017-05-15 18:12 (UTC) |
aif-git
|
r92.aea4f1b-1 |
0 |
0.00
|
An XML and python-driven rebirth of the AIF (Arch Installation Framework) project. |
sanerb
|
2017-05-16 17:13 (UTC) |
aif
|
1.10-5 |
0 |
0.00
|
An XML and python-driven rebirth of the AIF (Arch Installation Framework) project. |
sanerb
|
2017-05-16 17:13 (UTC) |
hfsprescue-bin
|
3.3-1 |
2 |
0.00
|
A program to recover hfs+ file systems |
Ayakael
|
2017-05-19 23:19 (UTC) |
rseye-git
|
r39.0babe11-1 |
0 |
0.00
|
Freeze screen regularly to help prevent Repetitive Strain Injury (RSI) and protect the eyes. |
zhoangngan
|
2017-05-21 01:58 (UTC) |
searchnewdoconaidop
|
0.0.1-1 |
0 |
0.00
|
Program that searches for new files |
Chipsterjulien
|
2017-05-21 08:55 (UTC) |
fuse_xattrs
|
0.3-3 |
1 |
0.00
|
A filesystem that provides xattr support using sidecar files. |
fbarriga
|
2017-05-22 01:26 (UTC) |
latex-rail
|
1.2.1-2 |
2 |
0.00
|
A C program and LaTeX packkage to draw syntax diagrams specified in EBNF. |
Holzhaus
|
2017-05-22 07:00 (UTC) |
onetime
|
1.81-2 |
3 |
0.00
|
an open source encryption program that uses the one-time pad method. |
Exarch
|
2017-05-22 16:47 (UTC) |
q-git
|
r405.ad0d31b-1 |
0 |
0.00
|
A platform-independent promise library for C++, implementing asynchronous continuations |
erikzenker
|
2017-05-22 17:21 (UTC) |
binutils-msp430
|
2.21.1a-1 |
2 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the MSP430 architecture |
abdullatif
|
2017-05-22 21:12 (UTC) |
gcc-msp430
|
4.6.3-1 |
2 |
0.00
|
GNU toolchain for the TI MSP430 processor |
gilcu3
|
2017-05-22 21:17 (UTC) |
armsimsharp
|
2.1-1 |
3 |
0.00
|
A desktop application for simulating the execution of ARM assembly language programs. |
ejno
|
2017-05-22 21:21 (UTC) |
msp430-jtag
|
2.4-1 |
0 |
0.00
|
Hardware access tools for the MSP430 processor including BSL, JTAG |
abdullatif
|
2017-05-22 23:03 (UTC) |
binutils-avr-tinyos
|
2.17-1 |
0 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the avr architecture, with TinyOS patches |
abdullatif
|
2017-05-23 23:17 (UTC) |
repacman
|
0.98-4 |
57 |
0.00
|
A tool for producing a pacman package from software's existing installation |
ItachiSan
|
2017-05-24 09:05 (UTC) |
tidb-bin-nightly
|
0.0.1.20170524020718-1 |
0 |
0.00
|
A distributed NewSQL database compatible with MySQL protocol |
Librazy
|
2017-05-25 08:52 (UTC) |
python-protobuf-to-dict
|
0.1.5-1 |
0 |
0.00
|
A teeny Python library for creating Python dicts from protocol buffers and the reverse. Useful as an intermediate step before serialisation (e.g. to JSON). |
unusual_thoughts
|
2017-05-27 01:13 (UTC) |
prompt-hjem-git
|
31.ad2a670-1 |
1 |
0.00
|
prompt for zsh |
Krux02
|
2017-05-30 09:30 (UTC) |
vera++
|
1.3.0-2 |
4 |
0.00
|
A programmable tool for verification, analysis and transformation of C++ source code |
markand
|
2017-05-30 18:09 (UTC) |
tilp
|
1.18-1 |
30 |
0.49
|
TI graphing calculator link/transfer program |
J5lx
|
2017-05-30 22:14 (UTC) |
java-jai-imageio
|
1.1-3 |
0 |
0.00
|
Container for JavaTM Advanced Imaging Image I/O Tools projects. |
Volkan
|
2017-05-31 06:29 (UTC) |
matcher-git
|
1.0.0.r0.g6c54c26-1 |
0 |
0.00
|
Intelligently searches through a list of file names for the one you were probably looking for. |
awe00
|
2017-06-02 12:28 (UTC) |
vim-brainfuck
|
1.0.3-1 |
1 |
0.00
|
Vim syntax highlighting for the brainfuck programming language |
karlguy
|
2017-06-05 04:42 (UTC) |
authbind
|
2.1.2-1 |
30 |
0.49
|
Allows non-root programs to bind() to low TCP ports (0-1023) |
evana
|
2017-06-06 19:36 (UTC) |
yourkit-2013
|
2013b13088-1 |
0 |
0.00
|
Java CPU and memory profiler. |
orphan
|
2017-06-08 06:45 (UTC) |
perl-json-rpc-common
|
0.11-1 |
0 |
0.00
|
Perl module provide transport agnostic JSON RPC helper objects |
Ordoban
|
2017-06-09 04:36 (UTC) |
spotify-legacy
|
0.9.17-3 |
33 |
0.00
|
A proprietary music streaming service. |
olejon
|
2017-06-09 10:36 (UTC) |
seqtk-git
|
1.2.r102.32e7903-1 |
1 |
0.00
|
Toolkit for processing sequences in FASTA/Q formats |
orphan
|
2017-06-09 19:54 (UTC) |
jboss-forge-offline
|
3.7.0-1 |
3 |
0.00
|
JBoss Forge is the Fastest way to build Maven-based Java EE projects, and anything else you fancy. |
drejmar
|
2017-06-10 18:47 (UTC) |
python-pawk
|
0.7.0-1 |
0 |
0.00
|
A Python line-processor (like awk) based on pyline. |
codemonkey800
|
2017-06-16 08:33 (UTC) |
reducemp4video
|
0.0.1-7 |
0 |
0.00
|
Program that reduce size of mp4 video |
Chipsterjulien
|
2017-06-16 13:35 (UTC) |
phoenix-emu-project
|
2.8.JAG-2 |
3 |
0.00
|
An emulator of ColecoVision, Sega Master System, Atari Jaguar and 3DO consoles. |
viachaslavic
|
2017-06-17 14:10 (UTC) |
ct-submit
|
1.1.2-1 |
0 |
0.00
|
A program for submitting X.509 certificate chains to Certificate Transparency log servers. |
haruue
|
2017-06-20 06:49 (UTC) |
xtandem-cyclone
|
12.10.01.1-1 |
0 |
0.00
|
Software that can match tandem mass spectra with peptide sequences, in a process known as protein identification. Version CYCLONE |
levitsky
|
2017-06-20 20:03 (UTC) |
tis-interpreter-git
|
r95.33132ce-1 |
1 |
0.00
|
An interpreter for finding subtle bugs in programs written in standard C |
314eter
|
2017-06-21 13:20 (UTC) |
alignace
|
1.0-6 |
0 |
0.00
|
Program that finds sequence elements conserved in a set of DNA sequences |
allencch
|
2017-06-22 17:25 (UTC) |
dwarffortress-terminal-fonts
|
1-1 |
3 |
0.00
|
Provides fonts based on dwarffortress custom tilesets, for use with playing dwarffortress in TEXT mode in a terminal. |
woodape
|
2017-06-27 09:33 (UTC) |
tegaki-recognize
|
0.3.1.2-4 |
14 |
0.00
|
Chinese and Japanese Handwriting Recognition program |
xiaoxiong
|
2017-07-03 00:11 (UTC) |
rutracker-proxy
|
0.2.0-1 |
1 |
0.00
|
Tool for proxying client's announces to blocked rutracker servers |
gleb.zhulik
|
2017-07-05 07:24 (UTC) |
noxbit
|
20170703-1 |
5 |
0.00
|
Live Video Streaming technology based on BitTorrent protocol |
h31
|
2017-07-05 17:13 (UTC) |
keepass-plugin-pronouncepwgen
|
1.0.4b-2 |
2 |
0.01
|
A pronounceable password generator plugin for KeePass |
svr3408
|
2017-07-06 05:21 (UTC) |
blocks-phonepi
|
1-4 |
0 |
0.00
|
Screen block/unblock applications for PhonePi project |
abdullin.am
|
2017-07-10 20:11 (UTC) |