|
vertcoin-tx
|
0.18.0-1 |
0 |
0.00
|
Vertcoin is a peer-to-peer network based digital currency - Transaction tool |
vertion
|
2023-01-03 19:57 (UTC) |
|
versiobit
|
3.14-1 |
0 |
0.00
|
Versiobit Desktop App |
versiobit
|
2024-03-04 16:40 (UTC) |
|
verses-bin
|
0.9.2-1 |
0 |
0.00
|
TUI for viewing synchronized Spotify lyrics |
maxuss
|
2023-09-09 13:46 (UTC) |
|
verovio
|
4.0.1-1 |
0 |
0.00
|
A music notation engraving library (CLI and library) |
pnorcks
|
2023-10-07 00:47 (UTC) |
|
python-verovio
|
4.0.1-1 |
0 |
0.00
|
A music notation engraving library (Python bindings) |
pnorcks
|
2023-10-07 00:47 (UTC) |
|
veroroute-svn
|
2.00.r265-1 |
0 |
0.00
|
Veroboard, Perfboard, and PCB layout and routing application |
romsom
|
2020-10-07 07:16 (UTC) |
|
verona
|
8-2 |
0 |
0.00
|
Microsoft's Verona programming language interpreter and compiler |
Yuhanun
|
2020-04-18 15:28 (UTC) |
|
vermin-bin
|
0.126.0-1 |
0 |
0.00
|
The smart virtual machines manager |
sysroot
|
2021-02-26 06:52 (UTC) |
|
verilogx
|
0.1-1 |
0 |
0.00
|
A simple, easy, and fast Verilog simulator. |
rafiibrahim8
|
2022-04-24 17:37 (UTC) |
|
verilator-git
|
r5486.0e4da3b0b-1 |
0 |
0.00
|
The fastest free Verilog HDL simulator |
Sequencer
|
2022-10-22 07:10 (UTC) |
|
verifytapn-git
|
a12a596-1 |
0 |
0.00
|
VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL. |
orphan
|
2023-10-26 10:02 (UTC) |
|
verifpal-bin
|
0.27.2-2 |
0 |
0.00
|
Cryptographic protocol analysis for real-world protocols. |
Fethbita
|
2024-02-03 12:10 (UTC) |
|
verifast-bin
|
19.12-2 |
0 |
0.00
|
research prototype of a tool for formal verification of C and Java programs |
sandervb
|
2023-11-06 09:26 (UTC) |
|
verco-git
|
6.12.0.r0.g2df4be3-1 |
0 |
0.00
|
A simple Git/Mercurial/PlasticSCM tui client based on keyboard shortcuts (git) |
orhun
|
2022-07-19 10:53 (UTC) |
|
verco-bin
|
6.12.0-1 |
0 |
0.00
|
A simple Git/Mercurial/PlasticSCM tui client based on keyboard shortcuts |
orhun
|
2022-07-19 10:49 (UTC) |
|
verco
|
6.12.0-1 |
0 |
0.00
|
A simple Git/Mercurial/PlasticSCM tui client based on keyboard shortcuts |
orhun
|
2022-07-19 10:48 (UTC) |
|
veracrypt-trans
|
1.24_Update7-1 |
0 |
0.00
|
Disk encryption with strong security based on TrueCrypt.Translate the interface to other languages. (The language cannot be changed after compilation) |
crimsonote
|
2020-09-12 04:09 (UTC) |
|
veracrypt-inyourlanguage
|
1.26.7-8 |
0 |
0.00
|
Disk encryption with strong security based on TrueCrypt 7.1a. Supporting 40+ languages for installation. |
Shapiro
|
2023-11-23 16:15 (UTC) |
|
veracrypt-hook
|
5.1-2 |
0 |
0.00
|
Extensive hook for operations on a veracrypt encrypted root (or e.g. home) device |
stefanwelte
|
2016-05-30 20:54 (UTC) |
|
venv-wrapper-bin
|
2.0.2-1 |
0 |
0.00
|
Simple python virtual environment management |
nmarier
|
2021-08-01 15:28 (UTC) |
|
venturous
|
1.4-1 |
0 |
0.00
|
Random playback manager for Audacious |
vedg
|
2019-12-25 07:43 (UTC) |
|
venom86-bin
|
1.0.2-3 |
0 |
0.00
|
An x86 emulator/VM by Qrodex. Or a GUI wrapper for the v86-module |
zxp19821005
|
2024-03-13 08:57 (UTC) |
|
vengi-voxel-git
|
0.0.28.r291.gfd7b13fb1-1 |
0 |
0.00
|
voxel art tools - editor, thumbnailer and format converter |
Ferk
|
2024-02-17 15:18 (UTC) |
|
vendorlint-git
|
r13.08816a4-3 |
0 |
0.00
|
Tool to ensure all dependents are properly vendored |
m3thodic
|
2022-05-05 05:38 (UTC) |
|
vendir-bin
|
0.40.1-1 |
0 |
0.00
|
Easy way to vendor portions of git repos, github releases, helm charts, docker image contents, etc. declaratively |
Zebradil
|
2024-04-17 00:23 (UTC) |
|
vendir
|
0.40.1-1 |
0 |
0.00
|
Easy way to vendor portions of git repos, github releases, helm charts, docker image contents, etc. declaratively |
Zebradil
|
2024-04-17 00:24 (UTC) |
|
vendace-git
|
0.1.2.r2.g019022c-1 |
0 |
0.00
|
Simple screenshot crop & upload |
veeti
|
2015-06-08 18:14 (UTC) |
|
vencord-x11-git
|
1.3.1.r3.g463a661-3 |
0 |
0.00
|
A GUI app for installing Vencord |
orphan
|
2023-08-17 09:20 (UTC) |
|
veloview
|
4.1.3-1 |
0 |
0.00
|
Real-time visualization and processing of live captured 3D LiDAR data from Velodyne’s HDL sensors |
DWestCoast
|
2021-04-22 05:34 (UTC) |
|
veles-git
|
2018.05.0.r0.ge65de5a-5 |
0 |
0.00
|
Binary data analysis and visualization tool |
m3thodic
|
2022-05-05 05:36 (UTC) |
|
python-veles-git
|
2018.05.0.r0.ge65de5a-5 |
0 |
0.00
|
Binary data analysis and visualization tool |
m3thodic
|
2022-05-05 05:36 (UTC) |
|
veldora
|
0.2.1-1 |
0 |
0.00
|
A rust program to bruteforce zips, pdfs and some popular hashes. |
tamton_aquib
|
2022-11-23 18:30 (UTC) |
|
veilig
|
1.3.5-1 |
0 |
0.00
|
Toy TLS certificate viewer |
garionion
|
2021-10-28 09:30 (UTC) |
|
veilid-cli-git
|
0.2.5-1 |
0 |
0.00
|
A text user interface to talk to veilid-server and operate it manually |
gloof11
|
2023-11-13 01:06 (UTC) |
|
vegalinux64
|
1-2 |
0 |
0.00
|
Chess tournament administration sorfware |
Oshgnacknak
|
2022-09-23 15:55 (UTC) |
|
vega-video-editor
|
4.0.3_beta.3-5 |
0 |
0.00
|
Vega is a video editing software. |
zxp19821005
|
2024-03-13 04:15 (UTC) |
|
vega-protocol-bin
|
0.74.10-1 |
0 |
0.00
|
A Go implementation of the Vega Protocol, a protocol for creating and trading derivatives on a fully decentralised network. |
emilbayes
|
2024-03-08 09:53 (UTC) |
|
vega-git
|
1.0.0-1 |
0 |
0.00
|
A simpler and faster command line system information tool |
kaneki
|
2023-02-23 20:14 (UTC) |
|
vedv-git
|
0.2.3-1 |
0 |
0.00
|
A tool for developing applications in a secure and reproducible environment using virtual machines with a Docker-like flavor. |
yunielrc
|
2023-09-07 19:46 (UTC) |
|
ved-git
|
r288.b9f8745-1 |
0 |
0.00
|
1 MB text editor written in V with hardware accelerated text rendering (development version) |
Chewing_Bever
|
2023-01-06 15:28 (UTC) |
|
vector_blf-git
|
r480.g02f0a2f-1 |
0 |
0.00
|
This is a library to access Binary Log File (BLF) files from Vector Informatik. |
Murmele
|
2023-01-04 12:12 (UTC) |
|
vector-slicer-git
|
r26.8a31aa1-1 |
0 |
0.00
|
Export multi-page PDFs from an SVG |
orphan
|
2021-08-12 12:23 (UTC) |
|
vector-audio-git
|
v1.1.0.r13.gb2b323c-1 |
0 |
0.00
|
An Audio-For-VATSIM ATC Client for macOS, Linux and Windows |
uetcis
|
2023-08-07 16:48 (UTC) |
|
ve
|
1.1-2 |
0 |
0.00
|
NTHU-CS Maple BBS 2.36 BBS-like editor |
lantw44
|
2018-04-30 15:58 (UTC) |
|
vdx
|
0.0.10-1 |
0 |
0.00
|
Intuitive CLI for processing video, powered by FFmpeg |
orphan
|
2020-11-10 18:33 (UTC) |
|
vdrpbd
|
2.1.0-1 |
0 |
0.00
|
A daemon to handle ACPI power button event on VDR systems |
CReimer
|
2022-12-19 14:18 (UTC) |
|
vdr-zappilot
|
0.0.6-6 |
0 |
0.00
|
Plugin for VDR forked from the plugin pilotskin to browse EPG in channel info |
CReimer
|
2024-01-28 21:56 (UTC) |
|
vdr-zaphistory
|
0.9.7-4 |
0 |
0.00
|
History of the latest viewed channels |
CReimer
|
2024-01-28 21:56 (UTC) |
|
vdr-xorg
|
1.0-1 |
0 |
0.00
|
Configures VDR service to autostart an X.org server |
M-Reimer
|
2018-12-25 15:46 (UTC) |
|
vdr-weatherforecast
|
0.2.0-11 |
0 |
0.00
|
provides a weather forecast based on forecast.io data |
CReimer
|
2024-01-28 21:55 (UTC) |