|
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) |
|
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) |
|
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) |
|
vermin-bin
|
0.126.0-1 |
0 |
0.00
|
The smart virtual machines manager |
sysroot
|
2021-02-26 06:52 (UTC) |
|
verona
|
8-2 |
0 |
0.00
|
Microsoft's Verona programming language interpreter and compiler |
Yuhanun
|
2020-04-18 15:28 (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) |
|
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-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) |
|
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) |
|
verysync
|
2.17.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. |
junyussh
|
2023-06-15 16:52 (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) |
|
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) |
|
vetch
|
1.0-1 |
0 |
0.00
|
Veeeeery Tiny Fetch |
totor-dev
|
2024-04-14 18:42 (UTC) |
|
vex-git
|
v1.0.0-1 |
0 |
0.00
|
a simple ncurses-based hex editor |
Shedexx
|
2022-06-22 19:44 (UTC) |
|
veyon-bin
|
4.8.3-1 |
0 |
0.00
|
Cross-platform computer monitoring and classroom management |
orphan
|
2024-04-05 21:52 (UTC) |
|
vf-1-git
|
r168.507ebcf-1 |
0 |
0.00
|
Command line gopher client. High speed, low drag. (Git version) |
bb010g
|
2018-06-09 05:54 (UTC) |
|
vfc
|
2.1.4-1 |
0 |
0.00
|
Library and tool for converting vertex formats for use in real-time rendering. |
akb825
|
2024-03-24 04:01 (UTC) |
|
vflow-bin
|
0.8.0-1 |
0 |
0.00
|
Enterprise Network Flow Collector (IPFIX, sFlow, Netflow) from Verizon Digital Media Services |
orphan
|
2020-11-18 10:26 (UTC) |
|
vfox-bin
|
0.3.4-1 |
0 |
0.00
|
A cross-platform and extendable version manager with support for Java, Node.js, Flutter, .Net & more |
zxp19821005
|
2024-04-12 01:29 (UTC) |
|
vfrflight-bin
|
2.3.1-4 |
0 |
0.00
|
Tool for VFR flight planning developed by real world private pilot. Can be used for real world flight planning and trainings in FSX / FSX:SE / Prepar3D / X-Plane 10/11 and FlightGear. |
dreieck
|
2024-02-09 10:35 (UTC) |
|
vg-bin
|
0.9.0-2 |
0 |
0.00
|
Virtualgo: Easy and powerful workspace based development for go |
orphan
|
2020-05-19 15:07 (UTC) |
|
vg-git
|
0.9.0.r8.g0070ca7-1 |
0 |
0.00
|
Easy and powerful workspace based development for go |
m3thodic
|
2022-05-05 05:57 (UTC) |
|
vger
|
2.0.1-1 |
0 |
0.00
|
Gemini server written in C |
atrax-dev
|
2023-04-14 22:58 (UTC) |
|
vgmplay-libvgm-git
|
0.51.0.r3.g813abab-1 |
0 |
0.00
|
A new VGMPlay, based on libvgm |
andrewlin16
|
2023-05-04 05:50 (UTC) |
|
vgmtools-git
|
r99.1f8a5eb-1 |
0 |
0.00
|
A collection of tools for the VGM file format |
jprjr
|
2021-02-26 00:14 (UTC) |
|
vgmtrans-bin
|
1.1_preview-3 |
0 |
0.00
|
A tool to convert proprietary, sequenced videogame music to industry-standard formats |
zxp19821005
|
2024-03-15 07:51 (UTC) |
|
vgmtrans-git
|
r1242.f5e212f-1 |
0 |
0.00
|
Converter for sequenced videogame music |
ettolrach
|
2024-04-09 11:43 (UTC) |
|
vgtranslate-git
|
66.1b68c26-1 |
0 |
0.00
|
VgTranslate service for retroarch |
orphan
|
2021-08-31 10:42 (UTC) |
|
vgui
|
f5566261-2 |
0 |
0.00
|
Half Life 1 SDK |
robertfoster
|
2018-11-13 16:20 (UTC) |
|
vhdtool-git
|
r24.cafd9bf-3 |
0 |
0.00
|
Manipulate VHD (Virtual Hard Disk) images the open-source way. |
m3thodic
|
2019-12-18 07:53 (UTC) |
|
vhost_creator
|
0.99_10-1 |
0 |
0.00
|
a little helper to create vhosts quickly |
pngnwthbrd
|
2020-01-18 21:52 (UTC) |
|
vhs.sh
|
1.4.5-1 |
0 |
0.00
|
Areena- ja Ruutu-sisällön nauhoitusskripti |
an7oine
|
2019-02-10 16:23 (UTC) |
|
via-cli-bin
|
v0.4.1-1 |
0 |
0.00
|
Easily start & stop your local dev environments from your cli |
flitzfiete
|
2022-07-30 13:42 (UTC) |
|
via-cli-git
|
v0.4.1-1 |
0 |
0.00
|
Easily start & stop your local dev environments from your cli |
flitzfiete
|
2022-07-30 13:51 (UTC) |
|
vib
|
0.6.2-1 |
0 |
0.00
|
Vib (Vanilla Image Builder) is a tool that allow generating Containerfile(s) using a Flatpak-like recipe and syntax. |
kbdharunkrishna
|
2024-04-10 15:28 (UTC) |
|
vibe-d
|
0.8.6-8 |
0 |
0.00
|
High-performance asynchronous I/O, concurrency and web application toolkit |
orphan
|
2021-05-03 21:50 (UTC) |