|
vendace-git
|
0.1.2.r2.g019022c-1 |
0 |
0.00
|
Simple screenshot crop & upload |
veeti
|
2015-06-08 18:14 (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) |
|
vendir-bin
|
0.40.1-2 |
0 |
0.00
|
Easy way to vendor portions of git repos, github releases, helm charts, docker image contents, etc. declaratively |
Zebradil
|
2024-04-20 19:43 (UTC) |
|
vendor-reset-git
|
0.0.17.r94-1 |
2 |
0.00
|
reset routines for navi et al. |
daftaupe
|
2020-11-15 23:35 (UTC) |
|
vendorlint-git
|
r13.08816a4-3 |
0 |
0.00
|
Tool to ensure all dependents are properly vendored |
m3thodic
|
2022-05-05 05:38 (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) |
|
venn
|
0.4.0-1 |
1 |
0.00
|
Mix and match virtual environments. |
paysonwallach
|
2020-03-03 04:35 (UTC) |
|
venom
|
0.5.5-1 |
2 |
0.00
|
a modern Tox client for the Linux desktop |
naxuroqa
|
2020-04-23 09:09 (UTC) |
|
venom-git
|
r1190.f5dd584-1 |
1 |
0.00
|
a modern Tox client for the Linux desktop |
naxuroqa
|
2019-02-14 15:52 (UTC) |
|
venom86-bin
|
1.0.2-4 |
0 |
0.00
|
An x86 emulator/VM by Qrodex. Or a GUI wrapper for the v86-module |
zxp19821005
|
2024-05-13 10:42 (UTC) |
|
venturous
|
1.4-1 |
0 |
0.00
|
Random playback manager for Audacious |
vedg
|
2019-12-25 07:43 (UTC) |
|
venv-wrapper-bin
|
2.0.2-1 |
0 |
0.00
|
Simple python virtual environment management |
nmarier
|
2021-08-01 15:28 (UTC) |
|
vera++
|
1.3.0-2 |
4 |
0.00
|
A programmable tool for verification, analysis and transformation of C++ source code |
markand
|
2017-05-30 18:09 (UTC) |
|
veracrypt-console-bin
|
1.26.7-1 |
1 |
0.00
|
Disk encryption with strong security based on TrueCrypt - headless console only |
AlphaJack
|
2023-11-27 12:58 (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) |
|
veracrypt-hook-nonroot
|
1.0-2 |
1 |
0.00
|
Extensive hook for operations on a veracrypt encrypted non root devices |
cannyfoxx
|
2016-08-16 15:17 (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-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) |
|
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) |
|
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-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) |
|
verdaccio
|
5.29.0-1 |
2 |
0.00
|
Private npm repository server |
sflor
|
2024-02-09 09:57 (UTC) |
|
verge-git
|
r467.d5d3d81-1 |
2 |
0.00
|
VERGE is the privacy focused & secure alternative to other cryptocurrencies. (git version) |
orphan
|
2016-09-12 20:54 (UTC) |
|
verible
|
0.0r2037.g4cccc6b2-1 |
1 |
0.00
|
SystemVerilog(Verilog) Parser, Style-Linter, and Formatter from Google |
nullik
|
2022-03-19 11:44 (UTC) |
|
verible-git
|
0.0.r558.7fbda6835f-2 |
2 |
0.00
|
SystemVerilog parser, style-linter, and formatter |
accuminium
|
2023-11-11 21:04 (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) |
|
verifpal-bin
|
0.27.2-2 |
0 |
0.00
|
Cryptographic protocol analysis for real-world protocols. |
Fethbita
|
2024-02-03 12:10 (UTC) |
|
verifybamid
|
1.1.3-1.1 |
1 |
0.00
|
Verify identity and purity of sequence data |
orphan
|
2020-05-09 17:19 (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) |
|
verilator-git
|
r5486.0e4da3b0b-1 |
0 |
0.00
|
The fastest free Verilog HDL simulator |
Sequencer
|
2022-10-22 07:10 (UTC) |
|
verilogx
|
0.1-1 |
0 |
0.00
|
A simple, easy, and fast Verilog simulator. |
rafiibrahim8
|
2022-04-24 17:37 (UTC) |
|
veriwell
|
2.8.7-1 |
6 |
0.00
|
The Verilog Simulator |
anatolik
|
2015-06-17 15:54 (UTC) |
|
vermin-bin
|
0.126.0-1 |
0 |
0.00
|
The smart virtual machines manager |
sysroot
|
2021-02-26 06:52 (UTC) |
|
verminian-trap
|
1.1-5 |
1 |
0.00
|
Your space pod has been forced to land on a planet infested with giant insects from Verminest. Fight with your companions and survive the incoming waves of enemy bugs for as long as you can |
son_link
|
2021-10-13 20:05 (UTC) |
|
verne-backgrounds
|
15.92.1-17 |
3 |
0.00
|
Fedora 16 (Verne) backgrounds. |
fusion809
|
2020-02-20 04:26 (UTC) |
|
verona
|
8-2 |
0 |
0.00
|
Microsoft's Verona programming language interpreter and compiler |
Yuhanun
|
2020-04-18 15:28 (UTC) |
|
veroroute
|
2.38-1 |
2 |
0.00
|
Qt based Veroboard/Perfboard/PCB layout and routing application |
romsom
|
2024-03-26 16:35 (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) |
|
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) |
|
verses-bin
|
0.9.2-1 |
0 |
0.00
|
TUI for viewing synchronized Spotify lyrics |
maxuss
|
2023-09-09 13:46 (UTC) |
|
versiobit
|
3.14-1 |
0 |
0.00
|
Versiobit Desktop App |
versiobit
|
2024-03-04 16:40 (UTC) |
|
versionist
|
6.1.7-1 |
1 |
0.00
|
Flexible CHANGELOG generation toolkit that adapts to your commit conventions |
jakogut
|
2020-10-05 22:03 (UTC) |
|
verso
|
1.2.1-1 |
1 |
0.00
|
editor for embedded image metadata |
marcwer
|
2024-01-01 12:56 (UTC) |
|
vertcoin-daemon
|
0.18.0-1 |
0 |
0.00
|
Vertcoin is a peer-to-peer network based digital currency - daemon |
vertion
|
2023-01-03 19:57 (UTC) |
|
vertcoin-cli
|
0.18.0-1 |
0 |
0.00
|
Vertcoin is a peer-to-peer network based digital currency - RPC client |
vertion
|
2023-01-03 19:57 (UTC) |
|
vertcoin-qt
|
0.18.0-1 |
0 |
0.00
|
Vertcoin is a peer-to-peer network based digital currency - Qt |
vertion
|
2023-01-03 19:57 (UTC) |
|
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) |
|
vertcoin-bin
|
0.17.1-2 |
0 |
0.00
|
A digital currency with mining decentralisation and ASIC resistance as a key focus. |
orphan
|
2021-06-05 07:50 (UTC) |
|
vertex-icons-git
|
r16.f27e47e-5 |
40 |
0.00
|
A Gnome icon theme to match the Vertex Gtk theme |
aperez
|
2024-01-24 15:03 (UTC) |