|
vesta
|
3.5.8-2 |
12 |
0.00
|
Visualization for Electronic and STructural Analysis |
a.kudelin
|
2024-02-09 15:23 (UTC) |
|
vesktop_electron
|
1.5.1-4 |
0 |
0.00
|
Vesktop gives you the performance of web Discord and the comfort of Discord Desktop, using the system provided Electron |
EinfxchFinn
|
2024-04-29 19:57 (UTC) |
|
vesktop-git
|
1.5.1.r4.gdf05d12-1 |
0 |
0.00
|
Custom Discord desktop app with Vencord preinstalled |
xiota
|
2024-04-17 12:49 (UTC) |
|
vesktop-bin
|
1.5.1-3 |
29 |
6.77
|
A cross platform electron-based desktop app aiming to give you a snappier Discord experience with Vencord pre-installed |
zxp19821005
|
2024-04-08 03:35 (UTC) |
|
vesktop
|
1.5.1-2 |
8 |
1.99
|
Vesktop gives you the performance of web Discord and the comfort of Discord Desktop |
Edu4rdSHL
|
2024-04-28 18:24 (UTC) |
|
vesc_tool-git
|
1:r1412.7c02f7f-1 |
3 |
0.00
|
VESC ESC graphical configuration tool |
bionade24
|
2024-04-14 12:18 (UTC) |
|
verysync2
|
2.2.0-1 |
0 |
0.00
|
A P2P sync tool simliar to Resilio Sync that can be used in China, syncing files via secure, distributed technology. |
isleizhang
|
2020-11-21 15:29 (UTC) |
|
verysync
|
2.17.0-1 |
1 |
1.00
|
A P2P sync tool simliar to Resilio Sync that can be used in China, syncing files via secure, distributed technology. |
junyussh
|
2023-06-15 16:52 (UTC) |
|
verynice
|
1.1-15 |
12 |
0.00
|
A tool for dynamically adjusting the nice level of processes under UNIX-like operating systems. |
orphan
|
2018-06-26 11:28 (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) |
|
vertrux-icon-theme
|
0.1-1 |
2 |
0.00
|
Squared icon set for Linux - Light and Dark |
satriani
|
2017-05-10 00:07 (UTC) |
|
vertica-client
|
12.0.2-1 |
0 |
0.00
|
Client for the Vertica Analytic Database |
dcelasun
|
2022-11-17 13: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) |
|
verthash-miner
|
0.7.2-2 |
0 |
0.00
|
GPU miner for the Verthash algorithm and Vertcoin |
orphan
|
2021-06-05 07:48 (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) |
|
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-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-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) |
|
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-qt-bin
|
0.17.1-1 |
2 |
0.00
|
A digital currency with mining decentralisation and ASIC resistance as a key focus. |
hockeymikey
|
2021-09-05 15:21 (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-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-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) |
|
verso
|
1.2.1-1 |
1 |
0.00
|
editor for embedded image metadata |
marcwer
|
2024-01-01 12:56 (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) |
|
version
|
1.5.2-1 |
1 |
0.02
|
What version do I have of ___? |
SPECTROnp
|
2023-11-24 16:46 (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) |
|
veroroute-svn
|
2.00.r265-1 |
0 |
0.00
|
Veroboard, Perfboard, and PCB layout and routing application |
romsom
|
2020-10-07 07:16 (UTC) |
|
veroroute
|
2.38-1 |
2 |
0.00
|
Qt based Veroboard/Perfboard/PCB layout and routing application |
romsom
|
2024-03-26 16:35 (UTC) |
|
verona
|
8-2 |
0 |
0.00
|
Microsoft's Verona programming language interpreter and compiler |
Yuhanun
|
2020-04-18 15:28 (UTC) |
|
verne-backgrounds
|
15.92.1-17 |
3 |
0.00
|
Fedora 16 (Verne) backgrounds. |
fusion809
|
2020-02-20 04:26 (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) |
|
vermin-bin
|
0.126.0-1 |
0 |
0.00
|
The smart virtual machines manager |
sysroot
|
2021-02-26 06:52 (UTC) |
|
veriwell
|
2.8.7-1 |
6 |
0.00
|
The Verilog Simulator |
anatolik
|
2015-06-17 15:54 (UTC) |
|
verity-squash-root
|
0.3.3-1 |
3 |
0.00
|
Build signed efi files which mount a verified squashfs image as rootfs on boot |
Simon_Brand
|
2023-08-14 22:57 (UTC) |
|
verilogx
|
0.1-1 |
0 |
0.00
|
A simple, easy, and fast Verilog simulator. |
rafiibrahim8
|
2022-04-24 17:37 (UTC) |
|
verilog-format-git
|
c169dd4-1 |
2 |
0.00
|
Console application for apply format to verilog file. |
playercc
|
2021-06-22 11:39 (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) |
|
verifybamid
|
1.1.3-1.1 |
1 |
0.00
|
Verify identity and purity of sequence data |
orphan
|
2020-05-09 17:19 (UTC) |
|
verifpal-bin
|
0.27.2-2 |
0 |
0.00
|
Cryptographic protocol analysis for real-world protocols. |
Fethbita
|
2024-02-03 12:10 (UTC) |
|
verifpal
|
0.27.2-2 |
2 |
0.09
|
Cryptographic protocol analysis for real-world protocols. |
Fethbita
|
2024-02-03 12:12 (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) |
|
veridian-bin
|
0.0.0-5 |
1 |
0.02
|
A SystemVerilog Language Server |
kalex
|
2024-03-21 08:30 (UTC) |
|
verible-git
|
0.0.r558.7fbda6835f-2 |
2 |
0.00
|
SystemVerilog parser, style-linter, and formatter |
accuminium
|
2023-11-11 21:04 (UTC) |
|
verible-bin
|
0.0.3622-1 |
2 |
0.57
|
SystemVerilog parser, linter, formatter and etc from Google |
ildus
|
2024-03-23 07:09 (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) |