ocaml-psmt2-frontend
|
0.2-2 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2019-11-30 18:52 (UTC) |
3dsconv
|
4.2-1 |
2 |
0.00
|
Convert Nintendo 3DS files to the CIA format |
adsun
|
2019-11-30 18:48 (UTC) |
comix
|
4.0.4-6 |
0 |
0.00
|
A user-friendly, customizable comic/image viewer |
confus
|
2019-11-29 20:43 (UTC) |
fontweak
|
1.3.1-6 |
5 |
0.00
|
GUI front-end of fontconfig |
orphan
|
2019-11-23 15:05 (UTC) |
autopass.cr-bin
|
0.2.2-1 |
1 |
0.00
|
a rofi frontend for pass |
jokke
|
2019-11-22 14:05 (UTC) |
makefile2graph-git
|
1.5.0.r16.g656a5a9-1 |
0 |
0.00
|
Creates a graph of dependencies from GNU-Make; Output is a graphiz-dot file or a Gexf-XML file. |
farseerfc
|
2019-11-20 06:46 (UTC) |
qtemu-git
|
r247.d230e82-1 |
4 |
0.00
|
Qt5 GUI front-end for QEMU, similar to VirtualBox. |
cwrau
|
2019-11-18 09:56 (UTC) |
python-persistentlist
|
0.4-2 |
0 |
0.00
|
Persistentlist is a simple persistent list carrying n objects, the last objects being appended at the end of the list. |
arthru
|
2019-11-16 21:27 (UTC) |
lsynth
|
3.1.1-1 |
0 |
0.00
|
LSynth is a program that synthesizes bendable parts for LDraw files |
gargan
|
2019-11-16 07:29 (UTC) |
python-django-rest-auth
|
0.9.5-1 |
0 |
0.00
|
Django-rest-auth provides a set of REST API endpoints for Authentication and Registration |
razer
|
2019-11-16 05:28 (UTC) |
python-relativetimebuilder
|
2.0.1-2 |
0 |
0.00
|
A library for using the dateutil relativedeltas for calendar precision with aniso8601. |
orphan
|
2019-11-15 21:00 (UTC) |
upcheck
|
0.1.3-1 |
1 |
0.00
|
Checker for ArchLinux available updates and send it via notify-rust. |
Edu4rdSHL
|
2019-11-15 00:15 (UTC) |
iacs
|
1.1.8.2.9170-1 |
2 |
0.00
|
IBM i Access Client Solutions provides a Java based, platform-independent interface for IBM iAccess/iSeries (formerly known as AS400). |
orphan
|
2019-11-14 20:24 (UTC) |
emulationstation-fcamod-git
|
r1685.bbcd68d6-2 |
0 |
0.00
|
A graphical front-end for emulators with controller navigation, with fcamod |
Teklad
|
2019-11-12 19:01 (UTC) |
fast
|
0.0.4-1 |
8 |
0.18
|
Minimal zero-dependency utility for testing your internet download speed from terminal. |
Jchanut
|
2019-11-05 13:37 (UTC) |
notify-desktop-git
|
r23.9863919-2 |
6 |
0.00
|
A replacement for notify-send with replaces-id support and less dependencies |
farseerfc
|
2019-10-28 10:24 (UTC) |
j4status-git
|
458.e86c6d3-1 |
31 |
0.00
|
A plugin-based status line generator: j4status generates a status line to use with bar programs (like i3bar). It is plugin-based to allow anyone to extend it easily. |
aperez
|
2019-10-26 18:53 (UTC) |
dep-bin
|
0.5.4-2 |
1 |
0.00
|
Go dependency management tool |
moe_narrow
|
2019-10-25 16:57 (UTC) |
python2-jdcal
|
1.4.1-1 |
0 |
0.00
|
Julian dates, from proleptic Gregorian and Julian calendars |
orphan
|
2019-10-22 21:59 (UTC) |
mhsendmail
|
0.2.0-1 |
1 |
0.00
|
Mailhog sendmail replacement |
flavius
|
2019-10-21 23:52 (UTC) |
goiardi
|
0.11.10-1 |
0 |
0.00
|
A Chef server written in Go, able to run entirely in memory, with optional persistence with saving the in-memory data to disk or using MySQL or Postgres as the data storage backend |
simonvik
|
2019-10-21 15:31 (UTC) |
libquickmail
|
0.1.29-2 |
3 |
0.00
|
A library intended to give C/C++ developers a quick and easy way to send email from their applications |
markusk
|
2019-10-20 14:30 (UTC) |
gdlv-git
|
r356.9555abd-1 |
0 |
0.00
|
Gdlv is a graphical frontend to Delve |
keur
|
2019-10-19 19:46 (UTC) |
opensmtpd-filter-senderscore-git
|
0.1.0+r3+g824cc03-3 |
1 |
0.00
|
OpenSMTPD filter integration for Sender Score (git) |
vitorhnn
|
2019-10-17 18:02 (UTC) |
luna
|
3.3.0-1 |
3 |
0.00
|
Manage npm dependencies through a modern UI |
orphan
|
2019-10-16 02:42 (UTC) |
betterautolock
|
0.1-1 |
1 |
0.00
|
betterlockscreen administration and suspend service |
orphan
|
2019-10-14 19:25 (UTC) |
ros-melodic-rqt-common-plugins
|
0.4.8-2 |
0 |
0.00
|
ROS - rqt_common_plugins metapackage provides ROS backend graphical tools suite that can be used on/off of robot runtime. |
orphan
|
2019-10-13 18:42 (UTC) |
ros-melodic-rqt-dep
|
0.4.9-2 |
1 |
0.00
|
ROS - rqt_dep provides a GUI plugin for visualizing the ROS dependency graph. |
orphan
|
2019-10-13 09:48 (UTC) |
mujs-git
|
r615.14dc935-1 |
3 |
0.00
|
A lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities. |
aksr
|
2019-10-11 14:41 (UTC) |
pypar2
|
1.4-8 |
26 |
0.57
|
Graphical frontend (PyGTK) for the Linux par2 utility |
orphan
|
2019-10-05 10:06 (UTC) |
spectator-rest-client-git
|
r335.a61fa66-1 |
0 |
0.00
|
Spectator is a native application written in Vala using GTK. It's enables you to test the API endpoints of your HTTP server. |
btd1337
|
2019-10-02 21:50 (UTC) |
xcdroast
|
1.19-1 |
4 |
0.00
|
X-CD-Roast is a flexible frontend for optical disc authoring. |
orphan
|
2019-10-02 15:29 (UTC) |
go-luks-suspend-git
|
1.4.3.c077dcc-1 |
0 |
0.00
|
Encrypt LUKS volumes on system suspend |
mrabe89
|
2019-10-01 19:35 (UTC) |
emacs-ag
|
0.48-1 |
1 |
0.00
|
An Emacs frontend to The Silver Searcher (binary name ag) |
hamki
|
2019-10-01 18:44 (UTC) |
haskell-parsec-permutation
|
0.1.2.0-1 |
0 |
0.00
|
Applicative permutation parser for Parsec intended as a replacement |
adsun
|
2019-10-01 16:03 (UTC) |
notepadqq-ote-git
|
0.52.1.r631.gbfbdf7c-1 |
1 |
0.00
|
Notepad++-like editor for the Linux desktop w/ OTE backend |
jakyote
|
2019-10-01 02:28 (UTC) |
kernelshark-git
|
1.0.r34.gd448481-1 |
1 |
0.00
|
GUI frontend for trace-cmd based Linux kernel Ftrace captures |
orphan
|
2019-09-29 13:43 (UTC) |
lexbor-git
|
0.2.0.r56.gf56cb7f-1 |
0 |
0.00
|
Web browser engine library with no extra dependencies. |
Hattshire
|
2019-09-24 01:40 (UTC) |
qdep
|
1.1.1-1 |
2 |
0.00
|
A very basic yet simple to use dependency management tool for qmake based projects. |
Skycoder42
|
2019-09-23 14:06 (UTC) |
emacs-svg-clock
|
1.0-2 |
1 |
0.00
|
Analog clock which uses Scalable Vector Graphics for rendering |
orphan
|
2019-09-22 14:16 (UTC) |
mustang-plug-qt5
|
1.4.0-1 |
0 |
0.00
|
Software for Fender Mustang Amps. Forked from piorekf/plug. |
tgommes
|
2019-09-21 16:24 (UTC) |
webgrind
|
1.6.1-1 |
2 |
0.00
|
Xdebug Profiling Web Frontend in PHP. |
sanduhrs
|
2019-09-16 12:47 (UTC) |
cropper-git
|
2.0-1 |
0 |
0.00
|
A TUI to trim video files within a specified range given start and end times. |
sulch
|
2019-09-13 11:55 (UTC) |
mavlink-router-git
|
v1.r33.61ce186-2 |
0 |
0.00
|
Route mavlink packets between endpoints (serial, tcp, udp, etc) |
orphan
|
2019-09-11 19:10 (UTC) |
portecle
|
1.11-2 |
4 |
0.00
|
User friendly GUI application for creating, managing and examining key stores. |
kyak
|
2019-09-09 07:02 (UTC) |
gstm-gtk2
|
1.2-6 |
0 |
0.00
|
Gnome front-end to ssh tunneling |
jvybihal
|
2019-09-09 06:57 (UTC) |
keepass-multicipher
|
2.0-1 |
3 |
0.00
|
Enables KeePass to dual encrypt databases using two ciphers with independent keys. |
Archadept
|
2019-09-06 01:46 (UTC) |
php-pecl-gender
|
1.1.0-1 |
0 |
0.00
|
Gender PHP extension is a port of the gender.c program originally written by Joerg Michael. The main purpose is to find out the gender of firstnames. The name dictionary contains >40000 firstnames from 54 countries. |
User
|
2019-09-04 16:10 (UTC) |
opendnp3-git
|
2.3.1.r6.g44c06cb14-1 |
1 |
0.00
|
DNP3 (IEEE-1815) protocol stack built with modern C++ |
The_Loko
|
2019-09-03 20:40 (UTC) |
thunderbird-exchangecalendar-beta
|
5.0.0_beta1-1 |
1 |
0.00
|
Thunderbird Addon/Extension and Provider for Microsoft Exchange 2007/2010/2013 Calendar, Tasks, Contacts and Global Address List (GAL) |
orphan
|
2019-09-03 19:42 (UTC) |