| # |
Project |
## |
Description |
Installs |
| 801 |
finalterm
|
714028 |
Modern terminal emulator |
0 |
| 802 |
liblutok
|
675626 |
library for Lightweight C++ API for Lua |
0 |
| 803 |
gnome-shell-extension-icon-hider
|
712478 |
GNOME Shell's status area icons manager |
0 |
| 804 |
edeploy
|
717664 |
new way to provision/update systems |
0 |
| 805 |
phplist
|
612288 |
multi-list email campaign manager |
0 |
| 806 |
pyclutter-gst
|
557671 |
Open GL based interactive canvas library GStreamer elements… |
0 |
| 807 |
alephone
|
119911 |
marathon engine for related data games |
0 |
| 808 |
isabelle
|
494491 |
Generic theorem proving environment |
0 |
| 809 |
django-colorful
|
715006 |
database and form RGB color fields for Django |
0 |
| 810 |
libjs-gzip
|
712215 |
a pure JavaScript implementation of the GZIP file format |
0 |
| 811 |
asynk
|
709161 |
Contacts synchronization for Google Contacts, BBDB and Outl… |
0 |
| 812 |
mwlib.rl
|
719347 |
A library for creating pdf from MediaWiki |
0 |
| 813 |
yoda
|
707034 |
Yet more Objects for Data Analysis |
0 |
| 814 |
varnisnncsa-vhost
|
608395 |
Wrapper around 'varnishncsa' tool to save varnish logs with… |
0 |
| 815 |
su2
|
715509 |
Software for PDE based analysis and optimization |
0 |
| 816 |
vanitygen
|
718860 |
bitcoin vanity address generator |
0 |
| 817 |
dbvisualizer
|
678190 |
multi-database management tool |
0 |
| 818 |
multi2sim
|
711476 |
CPU-GPU Simulator for Heterogeneous Computing |
0 |
| 819 |
deefuzzer
|
717960 |
an easy and instant media streaming tool |
0 |
| 820 |
eeglab
|
605739 |
toolbox for processing and visualization of electrophysiolo… |
0 |
| 821 |
squirrel-sql
|
559867 |
graphical universal SQL client |
0 |
| 822 |
novoht
|
710740 |
lightweight persistent in memory hash table |
0 |
| 823 |
libphidget21
|
670984 |
Phidgets runtime library |
0 |
| 824 |
sabre
|
719352 |
fighter plane simulator |
0 |
| 825 |
fuse-google-drive
|
714973 |
A fuse filesystem wrapper for Google Drive. |
0 |
| 826 |
funcdesigner
|
631206 |
Python module for rapid prototyping of functions with AD |
0 |
| 827 |
testdrive
|
718365 |
run the daily Ubuntu ISO in a virtual machine |
0 |
| 828 |
sampleicc
|
707334 |
ICC profiles i/o and manipulating library and CMM |
0 |
| 829 |
derelict3
|
710506 |
A collection of dynamic D bindings to C libraries, useful f… |
0 |
| 830 |
python-lirc
|
718980 |
LIRC support for Python 3 |
0 |
| 831 |
morelia
|
633411 |
client-facing scripting language for Behaviour-Driven Devel… |
0 |
| 832 |
elpa-babel
|
576609 |
translate for emacs |
0 |
| 833 |
tt-rss-attic-plugins
|
713065 |
Extra plugins for tt-rss |
0 |
| 834 |
minetruco
|
719169 |
Bluffing trick-taking card game played in Brazil |
0 |
| 835 |
metaphoneptbr
|
679013 |
metaphone implementation for brazilian portuguese |
0 |
| 836 |
ruby-dbi-dbrc
|
718648 |
A database resource control interface for Ruby that lets yo… |
0 |
| 837 |
mpir
|
708391 |
Multiple Precision Integers and Rationals library |
0 |
| 838 |
libjs-slidy
|
673634 |
slide shows in HTML and XHTML |
0 |
| 839 |
xul-ext-pencil
|
628285 |
GUI prototyping and diagram tool |
0 |
| 840 |
mediawiki-mwxml2sql
|
710584 |
Tools to help import MediaWiki XML dumps into database |
0 |
| 841 |
qserve
|
719341 |
A job queue server |
0 |
| 842 |
multimarkdown
|
659343 |
converter for Multimarkdown markup documents |
0 |
| 843 |
bitcoinj
|
629008 |
A Java implementation of a Bitcoin client-only node |
0 |
| 844 |
cookieculler
|
569957 |
browser extension to manage cookies |
0 |
| 845 |
python-pingdom
|
717591 |
3rd-party Python library for Pingdom's new REST API. |
0 |
| 846 |
ruby-spinach
|
713890 |
BDD framework on top of Gherkin |
0 |
| 847 |
timelib
|
719343 |
A short wrapper around PHP's internal DateTime ext |
0 |
| 848 |
selector
|
660470 |
selector is a real-time pattern matcher for console |
0 |
| 849 |
polysh
|
609057 |
remote shell multiplexor |
0 |
| 850 |
gnome-theme-clearlooks-flat-compact
|
710526 |
Compact GTK+ 2, GTK+ 3 and Metacity theme |
0 |
