| yices-bin |
2.5.4-1 |
7 |
0.00 |
An automatic theorem prover - download release binary |
spaceships
|
| yices |
2.6.1-1 |
2 |
0.04 |
The Yices SMT Solver |
amaloz
|
| ygopro-bin |
1.033.D-5 |
9 |
0.00 |
YGOPRO is a free online dueling system made for playing Yu-Gi-Oh! duels. |
Cromer
|
| ygopro |
1.034-4 |
1 |
0.00 |
A script engine for “yu-gi-oh!” and sample gui |
ximlel
|
| yggdrasil-openrc |
20190305-1 |
0 |
0.00 |
|
vpzomtrrfrt
|
| yggdrasil-git |
0.3.14.r0.g78b5f88-1 |
0 |
0.00 |
An experiment in scalable routing as an encrypted IPv6 overlay network (develop branch) |
luzifer
|
| yfktest |
r671-1 |
1 |
0.00 |
Ham Radio Contesting Logger |
not_anonymous
|
| yfklog |
0.6.0-1 |
4 |
0.00 |
Yet Another Ham Radio Logbook - w/ LoTW & Ncurses based |
not_anonymous
|
| yetris-git |
20150103-1 |
0 |
0.00 |
Customizable Tetris(tm) for the terminal. |
aksr
|
| yetris |
2.3.0-3 |
22 |
0.14 |
Customizable Tetris clone for the terminal |
FredBezies
|
| yetanotherbar-git |
0.0.1.r5.gb208594-1 |
0 |
0.00 |
YetAnotherBar is simple gtk based statusbar for i3 with support for CSS |
PolyMeilex
|
| yesplz |
1-1 |
1 |
0.00 |
Unixporn.com image screenshot & uploader (Courtesy of sigFLUP) |
elken
|
| yesod-bin |
1.4.16.1-1 |
0 |
0.00 |
The yesod helper executable. |
pdxleif
|
| yersinia-git |
v0.8.2.r10.gdc2aa7b-1 |
1 |
0.00 |
A network tool designed to take advantage of some weakness in different network protocols |
olivierlm
|
| yersinia |
0.8.2-1 |
34 |
0.00 |
A network tool designed to take advantage of some weakness in different network protocols |
olivierlm
|
| yenma-git |
2.0.0.rc1.r3.g19b961b-1 |
0 |
0.00 |
A milter program for domain authentication technologies (including SPF, DKIM, DMARC) |
sorah
|
| yegonesh |
20151102-3 |
5 |
0.01 |
Yeganesh-like dmenu wrapper written in Go |
Klowner
|
| yeganesh |
2.5-2 |
0 |
0.00 |
dmenu with a sense of history (cabal sandbox build) |
zaidan
|
| yefm |
0.2-3 |
1 |
0.00 |
Simple 2 panes file manager |
haawda
|
| yeecli |
r49.6e391b5-1 |
1 |
0.01 |
Yeelight CLI tool |
tsipizic
|
| yed |
1:3.19.1.1-2 |
244 |
0.92 |
Very powerful graph editor written in java |
Bevan
|
| yeahwm |
0.3.5-3 |
4 |
0.00 |
YeahWM - a window manager for X based on evilwm and aewm with little resource usage. |
bidulock
|
| yeahlaunch |
0.4-1 |
8 |
0.00 |
Very simple application launcher which puts a horizontal menu on top of your screen. |
bidulock
|
| yeahconsole |
0.3.4-2 |
61 |
0.00 |
YeahConsole turns a terminal into a gamelike console. If you hit a shortcut it slides down from top of the screen. |
bidulock
|
| ydweb-git |
1.0-1 |
0 |
0.00 |
Console-based dictionary with contents crawled from the youdao website; offline dictionaries with common words are available. |
purboo
|
| ydpdict |
1.0.2-3 |
1 |
0.00 |
Interface for Polish-English Collins Dictionary |
dracorp
|
| ydpd-git |
0.5.1-1 |
2 |
0.00 |
A front-end to YDP Collins Dictionary written in Qt4 |
travnick
|
| ydotool-git |
v0.1.8.r35.g563ccbf-2 |
7 |
0.55 |
Generic command-line automation tool (no X!), works on Wayland |
Depau
|
| ydiff |
1.1-2 |
4 |
0.00 |
Colored, incremental, side-by-side diff viewer |
TrialnError
|
| ydcv-rs-git |
0.4.5.150-1 |
0 |
0.00 |
A Rust version of ydcv. |
quininer
|
| ydcv-git |
1:0.4-1 |
5 |
0.00 |
YouDao Console Version - Simple wrapper for Youdao online translate (Chinese <-> English) service API, as an alternative to the StarDict Console Version(sdcv) - Git version |
felixonmars
|
| ydcmd |
2.12-1 |
10 |
0.00 |
Command line client for Yandex.Disk |
abbat
|
| ycmd-git |
r2548.d3378ca3-1 |
2 |
0.00 |
A code-completion & code-comprehension server |
karel
|
| ycm-generator-git |
r122.4d92151-1 |
17 |
0.00 |
Generates config files for YouCompleteMe (https://github.com/Valloric/YouCompleteMe) |
ssfdust
|
| ycat |
1.2.0-1 |
1 |
0.05 |
Print yaml files with color (powered by goccy/go-yaml) |
XenGi
|
| ya_test_pkg |
1-1 |
0 |
0.00 |
Yet another test pkg |
80387
|
| yaze |
2.40.5-1 |
4 |
0.24 |
Yet Another z80 (CP/M) Emulator |
orphan
|
| yay-git |
9.4.6.r0.g352667f-3 |
19 |
1.26 |
Yet another yogurt. Pacman wrapper and AUR helper written in go. (development version) |
tuckerboniface
|
| yay-bin |
9.4.6-1 |
110 |
10.87 |
Yet another yogurt. Pacman wrapper and AUR helper written in go. Pre-compiled. |
jguer
|
| yay |
9.4.6-2 |
1016 |
60.76 |
Yet another yogurt. Pacman wrapper and AUR helper written in go. |
jguer
|
| yaxt |
0.8.1-1 |
0 |
0.00 |
Yet Another eXchange Tool |
graziano
|
| yaxg-git |
latest-1 |
0 |
0.00 |
Yet Another X Grabber |
Airblader
|
| yawls-bzr |
1.2.2.2.r22-1 |
0 |
0.00 |
Adjust the brightness level of your display by using the internal/external webcam of your notebook as an ambient light sensor - Bazaar sources |
ItachiSan
|
| yawls |
1.2.2-4 |
0 |
0.00 |
Adjust the brightness level of your display by using the internal/external webcam of your notebook as an ambient light sensor |
ItachiSan
|
| yaware-timetracker |
2.0.5-22 |
0 |
0.00 |
Yaware.TimeTracker |
KaMeHb-UA
|
| yawa-git |
0.9.0.r18.g31af564-3 |
2 |
0.00 |
A tool which allows you to compose wallpapers for X. |
demize
|
| yaup-git |
0.1.r2.gdabd262-2 |
3 |
0.00 |
Yet Another UPnP Portmapper - A GTK frontend for miniupnpc |
Lucki
|
| yatqa |
1:3.9.8.3.d-1 |
0 |
0.00 |
Tool for managing TeamSpeak 3 servers and instances |
Caesim404
|
| yatoc2cue |
0.7-3 |
0 |
0.00 |
converts a cdrdao .toc file to a .cue as known from tools like EAC |
orphan
|
| yate-qt4 |
5.5.0-1 |
3 |
0.03 |
Telephony client |
carlo
|