z3-git
|
4.12.2.r453.g2354998cd-1 |
8 |
0.00
|
Z3 is a theorem prover from Microsoft Research |
d.woffinden
|
2023-11-26 14:37 (UTC) |
z-git
|
1.11.23.gb82ac78-1 |
6 |
1.00
|
z keeps track of where you've been and provides a convenient way to jump to directory that you actually use (git version) |
PhCl
|
2022-03-22 23:42 (UTC) |
yzkof-gm-arcade-international
|
0.91-1 |
1 |
0.00
|
Play retro games with or against any other player in the world. |
rafaelpbbr
|
2019-12-25 03:51 (UTC) |
yvt
|
1.1.0.r0.gba4d567-1 |
1 |
1.00
|
Yandex Video Translate. The script downloads videos from most popular video hosting platforms. It performs translation of video using Yandex neural network into one of the three available languages: Russian (by default), English, and Kazakh. |
Acenotass
|
2024-05-16 19:35 (UTC) |
yuzu-appimage
|
1:20240304-2 |
1 |
1.00
|
An experimental open-source Nintendo Switch emulator/debugger, GUI version, already compiled |
AlphaJack
|
2024-05-16 08:19 (UTC) |
yuvviewer-git
|
0.5.3.r15.g4d26058-1 |
0 |
0.00
|
A small tool for developers to view and preview various original image formats. |
Hoream
|
2023-10-19 14:13 (UTC) |
yuvviewer-bin
|
0.5.8-2 |
0 |
0.00
|
A small tool for developers to view and preview various original image formats. It is based on Qt and opencv frameworks and supports windows/linux/macos. |
zxp19821005
|
2024-03-08 05:25 (UTC) |
yuview-git
|
r1122.45015e9-1 |
2 |
0.00
|
The Free and Open Source Cross Platform YUV Viewer with an advanced analytics toolset |
johannesWinter
|
2017-04-29 11:25 (UTC) |
yuview-bin
|
2.13-3 |
1 |
0.00
|
The Free and Open Source Cross Platform YUV Viewer with an advanced analytics toolset |
zxp19821005
|
2024-03-15 10:13 (UTC) |
yuview
|
2.13-1 |
1 |
0.00
|
The Free and Open Source Cross Platform YUV Viewer with an advanced analytics toolset |
alevalv
|
2023-05-31 14:38 (UTC) |
yuranpad
|
2.4-1 |
0 |
0.00
|
A free text editor for Windows and Linux |
orphan
|
2021-02-07 16:16 (UTC) |
yupass
|
0.1.1-4 |
0 |
0.00
|
This is a password manager powered by the YubiKey |
StratusFearMe21
|
2021-06-28 17:10 (UTC) |
yuntucad-uos
|
0.0.2.1-1 |
2 |
0.00
|
云图三维 A collaboative CAD software. |
Integral
|
2024-05-12 01:24 (UTC) |
yumenikki-zh-cn
|
0.10-1 |
1 |
0.00
|
Surrealistic adventure game about exploring the dreams of a hikikomori character named Madotsuki.Also known as "Dream Diary". Simplified chinese Ver. |
maz-1
|
2015-10-29 13:26 (UTC) |
yumenikki-jp
|
0.10-1 |
1 |
0.00
|
Surrealistic adventure game about exploring the dreams of a hikikomori character named Madotsuki.Also known as "Dream Diary". Original Ver(Japanese). |
maz-1
|
2015-10-29 13:17 (UTC) |
yumenikki-en
|
0.10-1 |
7 |
0.00
|
Surrealistic adventure game about exploring the dreams of a hikikomori character named Madotsuki.Also known as "Dream Diary". English Ver. |
maz-1
|
2015-10-29 15:00 (UTC) |
yuediff
|
0.2.0-1 |
0 |
0.00
|
List differences between sets of Firefox config files. This tool was used to compare different librewolf.cfg and user.js files. |
maltejur
|
2022-02-13 21:34 (UTC) |
yudit-beta
|
3.1.0.beta15-1 |
0 |
0.00
|
A free Unicode plain-text editor for Unix-like systems - beta version |
orphan
|
2023-02-10 14:56 (UTC) |
yudit
|
3.1.0-1 |
17 |
0.00
|
A free Unicode plain-text editor for Unix-like systems. |
aksr
|
2023-03-01 10:58 (UTC) |
yubioath-krunner
|
2.0.0-1 |
2 |
0.00
|
Displays your YubiKey OATH credentials in krunner when you search for them. |
odensc
|
2024-04-04 20:20 (UTC) |
yubico-authenticator-bin
|
7.0.0-2 |
26 |
1.51
|
Cross-platform application for managing your YubiKey's second factor credentials (version 7) |
aryklein
|
2024-05-14 02:08 (UTC) |
ytt-git
|
r1176.292f57d-1 |
1 |
0.00
|
YAML templating tool that works on YAML structure instead of text |
tallero
|
2023-02-11 15:29 (UTC) |
ytt-bin
|
0.49.0-2 |
0 |
0.00
|
YAML templating tool that works on YAML structure instead of text |
Zebradil
|
2024-04-20 19:43 (UTC) |
ytt
|
0.49.0-1 |
1 |
0.00
|
YAML templating tool that works on YAML structure instead of text |
gtsiam
|
2024-04-17 00:23 (UTC) |
ytsubconverter-git
|
1.6.2.r6.gff65b3f-3 |
0 |
0.00
|
A tool for creating styled YouTube subtitles (srv3) and converting them back to ass |
atticf
|
2022-05-06 06:59 (UTC) |
ytsubconverter-bin
|
1.6.3-2 |
0 |
0.00
|
A tool for creating styled YouTube subtitles |
lae
|
2022-05-19 19:31 (UTC) |
yts-streaming-bin
|
4.0.0-1 |
0 |
0.00
|
An electronJS based desktop app to stream or play yts and torrent movies in desktop without downloading. |
zxp19821005
|
2024-04-02 05:35 (UTC) |
ytree
|
2.06-1 |
11 |
0.00
|
A curses based file manager similar to DOS Xtree(tm) |
valr
|
2024-02-17 18:48 (UTC) |
ytifl
|
1.0.0-1 |
2 |
0.00
|
Print the URL of the first result of a YouTube search |
jangler
|
2021-04-03 01:28 (UTC) |
ytdownloader-gui-bin
|
3.17.4-1 |
2 |
0.09
|
A modern GUI App for downloading Videos and Audios from hundreds of sites. |
zxp19821005
|
2024-04-22 02:47 (UTC) |
ytdownloader-gui
|
3.17.4-1 |
4 |
0.10
|
GUI video downloader supporting hundreds of sites |
Aandrew
|
2024-04-21 10:05 (UTC) |
ytd
|
1.59-3 |
4 |
0.00
|
An utility for downloading multimedia content from YouTube and other online streaming services. |
tallero
|
2017-12-28 11:24 (UTC) |
ytarchive-git
|
r256.b40d0a1-1 |
1 |
0.00
|
Garbage Youtube livestream downloader. |
bermudi
|
2023-05-05 16:55 (UTC) |
ytarchive-bin
|
0.4.0.20240202.141158-1 |
1 |
0.00
|
Garbage Youtube livestream downloader |
lae
|
2024-02-07 06:21 (UTC) |
yt-dlp-git
|
2024.03.10.r9.g86d2f4d-1 |
43 |
0.54
|
A youtube-dl fork with additional features and fixes (git) |
katt
|
2024-03-17 17:40 (UTC) |
yt-bin
|
r60.da2f5bf-1 |
1 |
0.00
|
Youtube Terminal UI for music streaming. WIP. |
ahbnr
|
2020-03-23 01:53 (UTC) |
yt-audio
|
0.1-1 |
1 |
0.00
|
youtube-dl wrapper for downloading/managing youtube audio (with added features). |
pseudoroot
|
2020-01-19 16:33 (UTC) |
ysoft-client
|
4.0.87-4 |
0 |
0.00
|
YSOFT SafeQ Printing Software |
effeffe
|
2023-09-07 10:10 (UTC) |
ys-git
|
v0.1.7.beta.r16.gd7a9ce9-1 |
1 |
0.00
|
Official interpreter for the YodaScript Language |
dvtate
|
2018-03-11 18:52 (UTC) |
yrmcds
|
1.1.9-1 |
0 |
0.00
|
A memory object caching system with master/slave replication |
orphan
|
2020-07-23 09:31 (UTC) |
ypsilon-scheme
|
0.9.6.update3-2 |
0 |
0.00
|
The implementation of R6RS Scheme Programming Language for real-time applications. |
ecraven
|
2016-05-06 13:33 (UTC) |
youtube-local-git
|
2023.04.27.fa9906a-2 |
1 |
0.00
|
browser-based client for watching Youtube anonymously with greater page performance |
Anarcoco
|
2023-04-27 11:40 (UTC) |
youtube-local
|
2.8.9-1 |
0 |
0.00
|
browser-based client for watching Youtube anonymously and with greater page performance |
lpt
|
2024-04-04 23:24 (UTC) |
youtube-dl-gui-bin
|
2.5.4-1 |
0 |
0.00
|
A cross-platform GUI for youtube-dl made in Electron and node.js (binary release) |
begin-theadventu
|
2023-10-09 18:18 (UTC) |
youtube-dl-git
|
2021.02.22.r6.g1631fca1e-1 |
134 |
1.59
|
A small command-line program to download videos from YouTube.com and a few more sites (git version) |
disastro
|
2021-02-24 04:53 (UTC) |
youtube-dl
|
2021.12.17-3 |
30 |
3.11
|
A command-line program to download videos from YouTube.com and a few more sites |
tarball
|
2024-05-21 11:39 (UTC) |
your-freedom-network
|
20200925-1 |
23 |
0.00
|
A service to bypass Firewalls, Proxies and content Filters and stay anonymous while surfing, playing and downloading |
robertfoster
|
2020-10-11 20:51 (UTC) |
yotta
|
0.20.5-1 |
5 |
0.00
|
Tool for managing reusable components for C/C++ by mbed |
2bluesc
|
2020-06-15 03:05 (UTC) |
yoshimi-git
|
r1956.de477d1b-1 |
0 |
0.00
|
a fork of the ZynAddSubFX software systhesizer |
d_adler
|
2019-04-20 20:41 (UTC) |
yorick-yeti-git
|
20201115-1 |
0 |
0.00
|
Yorick extension for hash tables, more math operators, TIFF etc |
frigaut
|
2022-09-07 05:46 (UTC) |