|
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.10
|
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.03
|
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.75
|
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) |
|
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) |
|
veretino
|
0.3.10-1 |
1 |
0.75
|
Multiple checksums calculator |
artemvlas
|
2024-04-19 16:26 (UTC) |
|
verdaccio
|
5.29.0-1 |
2 |
0.00
|
Private npm repository server |
sflor
|
2024-02-09 09:57 (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) |
|
vercel
|
33.6.1-1 |
3 |
0.08
|
The command line interface for Vercel |
asermax
|
2024-03-24 01:46 (UTC) |
|
verbiste
|
0.1.48-1 |
42 |
0.00
|
French conjugation system. |
fenouil
|
2024-04-03 08:37 (UTC) |
|
verapdf
|
1.24.3-1 |
4 |
0.00
|
purpose-built, open source, file-format validator covering all PDF/A parts and conformance levels |
Auerhuhn
|
2024-04-14 21:27 (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-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-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-git
|
1:1.25.9.r158.7ada94d3-1 |
7 |
0.01
|
Disk encryption with strong security based on TrueCrypt |
eclairevoyant
|
2023-07-15 19:12 (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) |
|
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) |
|
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) |
|
ventoy-bin
|
1.0.97-1 |
318 |
8.55
|
A new bootable USB solution |
DuckSoft
|
2024-01-24 16:50 (UTC) |
|
ventoy
|
1.0.97-2 |
12 |
0.63
|
A new bootable USB solution |
Toolybird
|
2024-02-17 22:39 (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) |
|
venom-git
|
r1190.f5dd584-1 |
1 |
0.00
|
a modern Tox client for the Linux desktop |
naxuroqa
|
2019-02-14 15:52 (UTC) |
|
venom
|
0.5.5-1 |
2 |
0.00
|
a modern Tox client for the Linux desktop |
naxuroqa
|
2020-04-23 09:09 (UTC) |
|
venn
|
0.4.0-1 |
1 |
0.00
|
Mix and match virtual environments. |
paysonwallach
|
2020-03-03 04:35 (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) |
|
vendor-reset-git
|
0.0.17.r94-1 |
2 |
0.00
|
reset routines for navi et al. |
daftaupe
|
2020-11-15 23:35 (UTC) |
|
vendor-reset-dkms-git
|
r94.6140e2f-1 |
9 |
0.00
|
Kernel module for vendor-specific hardware reset routines. |
zaszi
|
2020-11-18 08:54 (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) |
|
vendace
|
0.1.2-1 |
2 |
0.00
|
Simple screenshot crop & upload |
veeti
|
2015-06-08 18:13 (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) |
|
vencord-installer-cli-bin
|
1.4.0-2 |
3 |
0.21
|
A CLI Installer for Vencord, the cutest Discord client mod |
NullCube
|
2024-01-26 10:38 (UTC) |
|
vencord-installer-bin
|
1.3.1-1 |
6 |
0.31
|
A GUI app for installing Vencord |
ToxicAven
|
2023-07-26 15:32 (UTC) |
|
vencord-installer
|
1.4.0-2 |
2 |
0.70
|
A cross platform gui/cli app for installing Vencord |
HurricanePootis
|
2024-04-02 02:35 (UTC) |
|
vencord-desktop-git
|
r264.0f0bddb-2 |
3 |
0.08
|
A standalone Electron app that loads Discord & Vencord |
zt64
|
2024-01-16 14:32 (UTC) |
|
velvet
|
1.2.10-4 |
3 |
0.00
|
Sequence assembler for very short reads |
kleintux
|
2022-06-13 09:07 (UTC) |