beluga-git
|
v0.8.1.r190.3d50c74-1 |
2 |
0.00
|
Beluga is a functional programming language designed for reasoning about formal systems. It features direct support for object-level binding constructs using higher order abstract syntax and treats contexts as first class objects. |
tsani
|
2016-02-16 05:45 (UTC) |
ulex
|
1.1-1 |
1 |
0.00
|
ulex is a lexer generator for Unicode and OCaml |
orphan
|
2016-02-16 05:31 (UTC) |
slsnif
|
0.4.4-1 |
4 |
0.01
|
A serial port logging utility. |
synthead
|
2016-02-16 01:09 (UTC) |
sitecopy
|
0.16.6-2 |
1 |
0.00
|
Easily maintain remote web sites to keep them synchronized with the local site with a single command. |
SanskritFritz
|
2016-02-15 21:39 (UTC) |
iwatch
|
0.2.2-3 |
4 |
0.00
|
realtime filesystem monitoring program using inotify |
mbunkus
|
2016-02-15 20:16 (UTC) |
lightdm-flexiserver
|
1.0.0-1 |
8 |
0.00
|
Shell script to relay gdmflexiserver calls, such as from the Xfce Action Buttons panel plugin's Switch User command, to lightdm |
killermoehre
|
2016-02-15 18:31 (UTC) |
aquaria-data-hib
|
1.1.3+h20100504-2 |
5 |
0.00
|
A 2D fantasy underwater action-adventure game (Humble Bundle version; game data only) |
smls
|
2016-02-15 18:17 (UTC) |
jamomacore-git
|
1.0b1-3 |
1 |
0.00
|
The Jamoma Frameworks |
jcelerier
|
2016-02-15 11:05 (UTC) |
python-wdocker-git
|
32-2 |
0 |
0.00
|
Define docker commands in your Dockerfile |
ryuslash
|
2016-02-14 22:59 (UTC) |
out2html-git
|
35.f632731-1 |
1 |
0.00
|
Converts program output to HTML or pango markup (colorized) |
Rasi
|
2016-02-14 20:25 (UTC) |
handoffate-gog
|
2.7.0.9-1 |
0 |
0.00
|
A hybrid roguelike/action-RPG/deck builder |
ASzc
|
2016-02-14 19:46 (UTC) |
cubway-jslib-simplejs-git
|
r30.a081568-2 |
0 |
0.00
|
Simple DOM operation library. |
910JQK
|
2016-02-14 14:16 (UTC) |
cubway-git
|
r122.b689803-3 |
0 |
0.00
|
WebApp container implemented by QtWebkit, which provides some JavaScript API. |
910JQK
|
2016-02-14 13:55 (UTC) |
gr-ais-git
|
20160213-1 |
1 |
0.00
|
Automatic Information System decoder for shipborne position reporting for the Gnuradio project |
jshuping
|
2016-02-14 13:08 (UTC) |
archlinux-themes-sddm
|
2.0-1 |
147 |
0.07
|
Adaptation to SDDM of archlinux-themes-kdm |
Guidobelix
|
2016-02-14 12:57 (UTC) |
uemacs-git
|
20141208.r122-3 |
25 |
0.00
|
MicroEMACS/PK 4.0.15 customized by Linus Torvalds |
aksr
|
2016-02-14 11:46 (UTC) |
cnijfilter-common-mg5400
|
3.80-1 |
5 |
0.00
|
Canon IJ Printer Driver (Common package) |
orphan
|
2016-02-14 09:47 (UTC) |
djvubind
|
1.2.1-2 |
11 |
0.00
|
A tool to create highly compressed djvu files with ocr, metadata, and bookmarks |
bunder
|
2016-02-13 12:28 (UTC) |
haroopad
|
0.13.1-6 |
41 |
0.00
|
A markdown enabled document processor |
kwrazi
|
2016-02-13 10:24 (UTC) |
mingw-w64-win-iconv
|
0.0.8-1 |
4 |
0.00
|
Iconv implementation using Win32 API (mingw-w64) |
orphan
|
2016-02-13 08:30 (UTC) |
chronicle
|
0.1-1 |
0 |
0.00
|
A command-line journal with optional encryption |
kerckhove
|
2016-02-12 17:12 (UTC) |
sshexport
|
2.2-1 |
11 |
0.00
|
Install your ssh keys on remote sites |
orphan
|
2016-02-12 11:49 (UTC) |
brother-mfc-j6920dw
|
3.0.0-1 |
2 |
0.00
|
Driver for the Brother MFC-J6920DW printer |
jnogueira
|
2016-02-12 10:31 (UTC) |
python-zzzeeksphinx
|
1.0.18-1 |
0 |
0.00
|
This is zzzeek's own Sphinx layout, used by SQLAlchemy. |
orphan
|
2016-02-12 10:00 (UTC) |
open-jtalk-voice-nitech-jp-atr503-m001
|
1.05-2 |
0 |
0.00
|
HTS voice for Open JTalk |
stev47
|
2016-02-11 23:15 (UTC) |
fbrokendesktop
|
1.0.3-1 |
18 |
0.82
|
Search for broken Exec in *.desktop |
Andy_Crowd
|
2016-02-11 20:09 (UTC) |
bin2tap
|
1.3-1 |
2 |
0.00
|
ZX Spectrum .bin to .tap converter |
Athaudia
|
2016-02-11 17:50 (UTC) |
floodlight
|
1.2-1 |
0 |
0.00
|
Floodlight SDN OpenFlow Controller |
martinjlowm
|
2016-02-11 17:44 (UTC) |
ucg-git
|
0.2.1.r0.g5241710-1 |
1 |
0.00
|
fast grep-like tool specialized for searching large bodies of source code |
aksr
|
2016-02-11 13:28 (UTC) |
tcptrack
|
1.4.3-1 |
20 |
0.00
|
A sniffer which displays information about TCP connections it sees on a network interface |
bchretien
|
2016-02-11 13:18 (UTC) |
csstidy
|
1.4-4 |
4 |
0.00
|
A program that optimises, formats and fixes CSS code |
orphan
|
2016-02-11 09:11 (UTC) |
python-collections-extended-git
|
0.7.0.r3.g1f87c58-1 |
0 |
0.00
|
Python container datatypes: bag, setlist, bijection, RangeMap |
saso
|
2016-02-11 08:42 (UTC) |
icemon-git
|
0.r540.303d41f-1 |
0 |
0.00
|
Icemon is an Icecream GUI monitor. |
phcerdan
|
2016-02-11 08:35 (UTC) |
xidle
|
26052015-1 |
5 |
0.00
|
xidle runs a program on X inactivity |
k0ste
|
2016-02-11 03:59 (UTC) |
libpurple-meanwhile
|
2.10.12-1 |
8 |
0.00
|
Pidgin Instant Messenger plugin for Sametime support |
orphan
|
2016-02-11 00:49 (UTC) |
libsexy3-git
|
1.1.0.r0.g2cdd4c6-1 |
1 |
0.00
|
Custom Gtk3 widgets |
TingPing
|
2016-02-11 00:45 (UTC) |
epsxe-plugin-gpu-xgl2
|
2.9-6 |
102 |
0.00
|
Linux port of the OpenGL2 plugin |
hav3lock
|
2016-02-10 17:44 (UTC) |
mast
|
1.5.1.0-1 |
0 |
0.00
|
Modeling and Analysis Suite for Real-Time Applications |
vali
|
2016-02-10 16:19 (UTC) |
areca-beta
|
7.4.9-3 |
1 |
0.00
|
Personal file backup software supporting compression, encryption and incremental backups. |
SanskritFritz
|
2016-02-10 15:08 (UTC) |
areca
|
7.5-2 |
51 |
0.00
|
Personal file backup software supporting compression, encryption and incremental backups. |
SanskritFritz
|
2016-02-10 15:04 (UTC) |
areca-bin
|
7.5-2 |
3 |
0.00
|
Personal file backup software supporting compression, encryption and incremental backups. |
SanskritFritz
|
2016-02-10 15:01 (UTC) |
faiss-echo-git
|
1-1 |
0 |
0.00
|
echo in 740 bytes (97% smaller) |
Brayden.Dean
|
2016-02-10 04:30 (UTC) |
findnewest-git
|
0.3.12.be44060-1 |
1 |
0.00
|
Recursively find newest file in a hierarchy and print its timestamp |
anthraxx
|
2016-02-09 19:26 (UTC) |
volpack
|
1.0c7-2 |
1 |
0.00
|
Enhanced Philippe Lacroute's volpack volume rendering library |
fab31
|
2016-02-09 14:16 (UTC) |
aspell-fi
|
0.7-2 |
3 |
0.00
|
Finnish dictionary for aspell |
Mikaela
|
2016-02-09 11:44 (UTC) |
maybe-git
|
0.3.0-1 |
5 |
0.00
|
Allows you to run a command and see what it does to your files |
MarsSeed
|
2016-02-09 02:27 (UTC) |
ttf-fuzzy-cootie
|
1.0.1-1 |
1 |
0.00
|
fuzzy-cootie font |
juancarlospaco
|
2016-02-09 00:45 (UTC) |
tttool-git
|
1.6-1 |
2 |
0.01
|
tool for compiling and decompiling gme files for tiptoi pen |
orphan
|
2016-02-08 20:06 (UTC) |
titus
|
0.3-1 |
0 |
0.00
|
Totally Isolated TLS Unwrapping Server |
aperez
|
2016-02-08 12:19 (UTC) |
jmk-x11-fonts
|
3.0-2 |
1 |
0.00
|
Jim's Fonts for X |
aperez
|
2016-02-08 11:26 (UTC) |