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.2.1-1 |
0 |
0.00
|
A music notation engraving library (CLI and library) |
pnorcks
|
2024-05-27 03:53 (UTC) |
python-verovio
|
4.2.1-1 |
0 |
0.00
|
A music notation engraving library (Python bindings) |
pnorcks
|
2024-05-27 03:53 (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) |
vertex-maia-icon-theme
|
20160526-2 |
0 |
0.00
|
Icons matching Vertex Maia themes, based on Menda Circle (Mirrored onto AUR) |
illuser
|
2022-04-26 18:22 (UTC) |
vertex-themes
|
20170128-1 |
176 |
0.00
|
Vertex Gtk2, Gtk3, Metacity, Xfwm, Cinnamon and GNOME Shell themes (GNOME 3.22 version) |
CanalGuada
|
2017-01-29 14:13 (UTC) |
vertex-themes-git
|
r589.20161009-1 |
35 |
0.00
|
Vertex Gtk2, Gtk3, Metacity, Xfwm, Cinnamon and GNOME Shell themes (GNOME 3.22 version) |
CanalGuada
|
2016-10-12 13:20 (UTC) |
verthash-miner
|
0.7.2-2 |
0 |
0.00
|
GPU miner for the Verthash algorithm and Vertcoin |
orphan
|
2021-06-05 07:48 (UTC) |
verthash-miner-bin
|
0.7.2-2 |
0 |
0.00
|
GPU miner for the Verthash algorithm and Vertcoin |
orphan
|
2021-06-05 07:46 (UTC) |
vertica-client
|
12.0.2-1 |
0 |
0.00
|
Client for the Vertica Analytic Database |
dcelasun
|
2022-11-17 13:48 (UTC) |
vertrux-icon-theme
|
0.1-1 |
2 |
0.00
|
Squared icon set for Linux - Light and Dark |
satriani
|
2017-05-10 00:07 (UTC) |
vertx
|
3.9.4-1 |
6 |
0.00
|
Effortless asynchronous application development for the modern web and enterprise |
orphan
|
2020-11-04 21:50 (UTC) |