darwin
|
1.4.5-2 |
0 |
0.00
|
The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ |
eugenk
|
2016-02-24 15:04 (UTC) |
indivisible-prototype
|
1-4 |
2 |
0.00
|
Action/RPG prototype |
oleerik
|
2016-02-24 14:38 (UTC) |
nodejs-groovebasin
|
1.5.1-1 |
6 |
0.00
|
Music player server with a web-based user interface inspired by Amarok 1.4 |
christoph.gysin
|
2016-02-24 13:33 (UTC) |
nodejs-groovebasin-git
|
1.5.1.43.ge165f9a-1 |
3 |
0.00
|
Music player server with a web-based user interface inspired by Amarok 1.4 |
christoph.gysin
|
2016-02-24 13:32 (UTC) |
populatefs
|
1.0-1 |
0 |
0.00
|
Tool for replacing genext2fs when creating ext4 images |
lipnitsk
|
2016-02-24 03:25 (UTC) |
telepathy-poison-git
|
r19.2988837-1 |
2 |
0.00
|
Telepathy connection manager for Tox (early development). |
orphan
|
2016-02-23 20:08 (UTC) |
owncloud-app-user_otp
|
2.5.1-2 |
0 |
0.00
|
One Time Password Backend app for ownCloud |
melvinvermeeren
|
2016-02-23 19:53 (UTC) |
youtube-dl-qt-git
|
81.g105b17e-1 |
13 |
0.00
|
Qt frontend for youtube-dl |
rderooij
|
2016-02-23 19:44 (UTC) |
qucs-git
|
0.0.18.r1207.g9d924ca-1 |
10 |
0.00
|
An integrated circuit simulator with a graphical user interface. (qt4 git version) |
anatolik
|
2016-02-23 16:36 (UTC) |
pecl-timezonedb
|
2016.1-1 |
1 |
0.00
|
Timezone Database to be used with PHP's date and time functions |
jamesan
|
2016-02-23 15:35 (UTC) |
php-ds-git
|
r2.656c64b-1 |
1 |
0.00
|
Data structures for PHP 7. |
bgaleotti
|
2016-02-23 13:40 (UTC) |
swarm
|
2.4.1-2 |
0 |
0.00
|
An open source platform for agent-based models |
aspirogrammer
|
2016-02-23 06:18 (UTC) |
mgetty-vgetty-git
|
1.1.37.r2.gdd9f7f5-1 |
0 |
0.00
|
vgetty - voice extension to the mgetty+sendfax program. |
ppickfor
|
2016-02-22 23:42 (UTC) |
mundus
|
3.0.2-1 |
5 |
0.00
|
Clean and backup your /home folder from old configuration files created by now uninstalled software. |
sebikul
|
2016-02-22 22:27 (UTC) |
drawtiming
|
0.7.1-2 |
0 |
0.00
|
Tool that converts ASCII to UML Timing Diagrams. |
melvinvermeeren
|
2016-02-22 20:09 (UTC) |
awk-raycaster-git
|
0.r16.016a1d4-1 |
0 |
0.00
|
Pseudo-3D shooter written completely in awk using raycasting technique |
kleintux
|
2016-02-22 19:27 (UTC) |
numix-themes-osx-git
|
1.2.ea4c2bd-1 |
17 |
0.00
|
A modified version of the Numix GTK theme modeled to look somewhat like OSX |
smnpl
|
2016-02-22 19:05 (UTC) |
ndjbdns
|
1.06-2 |
0 |
0.00
|
ndjbdns is a fork of djbdns |
larryhaja
|
2016-02-22 18:58 (UTC) |
cmsimple
|
4.6.1-1 |
0 |
0.00
|
Very simple CMS for very simple content |
uranio-235
|
2016-02-22 15:44 (UTC) |
bugjar
|
0.1.0-1 |
0 |
0.00
|
A interactive graphical debugger for Python code. |
dundee
|
2016-02-22 15:09 (UTC) |
evrouter
|
0.4-4 |
29 |
0.00
|
An Input Event Router for Linux |
orphan
|
2016-02-22 06:21 (UTC) |
wjelement-git
|
r191.4691cf1-1 |
1 |
0.00
|
JSON manipulation in C including reading, writing and validation |
Sandmann
|
2016-02-21 23:32 (UTC) |
ruby-coffee-script
|
2.4.1-2 |
9 |
0.00
|
Ruby CoffeeScript Compiler |
orphan
|
2016-02-21 23:27 (UTC) |
hib-dlagent-git
|
0.7.8.g4ffd7dd-1 |
8 |
0.00
|
Tool to download Humble Indie Bundle binaries by file name |
tallero
|
2016-02-21 23:02 (UTC) |
gtklick-git
|
r85.596028e-1 |
1 |
0.00
|
a simple GTK metronome for jack based on klick |
andreas.berg
|
2016-02-21 16:35 (UTC) |
java32-environment-common
|
2-2 |
38 |
0.00
|
Common files for 32-bit Java Development Kits |
orphan
|
2016-02-21 13:40 (UTC) |
java32-runtime-common
|
2-2 |
38 |
0.00
|
Common files for 32-bit Java Runtime Environments |
orphan
|
2016-02-21 13:40 (UTC) |
jcgui-git
|
0.8-1 |
3 |
0.00
|
Jc_Gui is a frontend to jconvolver |
yannpom
|
2016-02-21 13:26 (UTC) |
coriander
|
2.0.2-5 |
10 |
0.00
|
Coriander is a Graphical User Interface for controlling IEEE1394 (Firewire) cameras |
orphan
|
2016-02-21 10:13 (UTC) |
cnijfilter-mg3500series
|
4.00-1 |
8 |
0.28
|
Canon InkJet Printer Driver (mg3500 Series) |
orphan
|
2016-02-21 10:04 (UTC) |
perl-modem-vgetty
|
0.04-1 |
0 |
0.00
|
The Modem::Vgetty module is a Perl interface to the vgetty program, which can be used for communication with the voice modems. |
ppickfor
|
2016-02-21 09:41 (UTC) |
tea-git
|
57-1 |
1 |
0.00
|
Tea Daemon, alerts you when your tea is ready. |
Naypam
|
2016-02-20 22:39 (UTC) |
php-zmq
|
1.1.3-1 |
6 |
0.00
|
ZeroMQ is a software library that lets you quickly design and implement a fast message-based applications. |
orphan
|
2016-02-20 22:21 (UTC) |
varrick-git
|
0.2.0.r33.gd1553d7-1 |
0 |
0.00
|
A convenient template engine to just 'Do the thing!' |
Tako
|
2016-02-20 21:39 (UTC) |
rfc-get
|
0.1.1-1 |
1 |
0.00
|
Command-line utility to view RFCs, man-style |
jforberg
|
2016-02-20 21:02 (UTC) |
gnome-dds-thumbnailer
|
2016.02.19-1 |
4 |
0.00
|
View DirectDraw Surface textures in Nautilus and Nemo. |
swyter
|
2016-02-19 21:46 (UTC) |
pacman-diffs
|
1.1.0-8 |
5 |
0.00
|
finding .pacnew files, compare and archive |
papajoke
|
2016-02-19 15:52 (UTC) |
vim-glsl
|
1.10.00-1 |
3 |
0.00
|
Vim syntax highlighting for the OpenGL Shading Language (GLSL) |
orphan
|
2016-02-18 22:29 (UTC) |
vim-opengl
|
1.5-1 |
3 |
0.00
|
Vim syntax highlighting for OpenGL, OpenGLES & EGL |
orphan
|
2016-02-18 22:29 (UTC) |
vim-vulkan
|
1.0-1 |
5 |
0.00
|
Vim syntax highlighting for the Vulkan API |
orphan
|
2016-02-18 22:29 (UTC) |
termpix
|
0.0.1-1 |
3 |
0.00
|
Draw images on an ANSI terminal |
oowl
|
2016-02-18 19:00 (UTC) |
openskyimager-git
|
r233.d4c6f91-1 |
1 |
0.00
|
|
peterstrapp
|
2016-02-18 18:30 (UTC) |
perl-audio-dsp
|
0.03-1 |
0 |
0.00
|
Audio::DSP is built around the OSS (Open Sound System) API and allows perl to interface with a digital audio device. The Audio::DSP object stores I/O parameters and also supplies temporary storage for raw audio data. |
ppickfor
|
2016-02-18 13:02 (UTC) |
dcal
|
1.2-1 |
2 |
0.00
|
A generic calendar for X |
bentglasstube
|
2016-02-18 04:04 (UTC) |
invada-studio-plugins
|
0.3.1-1 |
2 |
0.00
|
LADSPA audio effect plugins from invada, ported from VST. You probably want the LV2 versions, this is provided for compatibility. |
lykwydchykyn
|
2016-02-18 02:45 (UTC) |
tap-plugins-lv2-git
|
r95.de26a3c-1 |
3 |
0.00
|
LV2 port for the TAP (Tom's Audio Processing) plugins |
lykwydchykyn
|
2016-02-18 02:07 (UTC) |
tachyon-opengl
|
0.99b6-3 |
0 |
0.00
|
Parallel ray tracer (used as part of Visual Molecular Dynamics), OpenGL-enabled |
orphan
|
2016-02-17 21:30 (UTC) |
prosody-mod-cloud-notify
|
r2049.50c188cf0ae3-1 |
5 |
0.00
|
XEP-0357: Push Notifications for Prosody |
bjo
|
2016-02-17 18:27 (UTC) |
aquaria-hib
|
1.1.3-4 |
3 |
0.00
|
A 2D fantasy underwater action-adventure game (Humble Bundle version) |
Chais
|
2016-02-17 18:08 (UTC) |
x509ls-git
|
r29.cc82552-1 |
0 |
0.00
|
ncurses-based SSL certificate viewer |
lukegb
|
2016-02-17 16:41 (UTC) |