unity-session-shortcuts
|
1.4-1 |
0 |
0.00
|
Allows shutdown, logout, and reboot from dash |
orphan
|
2022-11-22 10:14 (UTC) |
usage-logging
|
1-1 |
0 |
0.00
|
Create daily log files with hour x minute rectangle diagram of device on/off status |
ivanp7
|
2022-11-18 12:52 (UTC) |
uvm-python-git
|
r1174.26acd2b-1 |
0 |
0.00
|
Port of SystemVerilog Universal Verification Methodology (UVM) 1.2 to Python and cocotb |
mox
|
2021-03-06 11:44 (UTC) |
uvm-systemc
|
1.0_beta5-1 |
0 |
0.00
|
Universal Verification Methodology (UVM) in SystemC |
aquarius
|
2024-03-04 18:19 (UTC) |
v2x-git
|
0.0.r616.g1325cb3-1 |
0 |
0.00
|
A tool for converting specialized annotated Verilog models into XML |
xiretza
|
2022-05-14 18:46 (UTC) |
vampire
|
4.5.1-1 |
0 |
0.00
|
A theorem prover for first-order logic |
patrick.luehne
|
2020-11-25 20:37 (UTC) |
vanessa-logger
|
0.0.10-1 |
2 |
0.00
|
Provides a generic logging layer that may be used to log to one or more of syslog, an open file handle or a file name. |
rafaelff
|
2017-12-10 21:28 (UTC) |
vapoursynth-plugin-delogo-git
|
0.4.0.g597ad7f-1 |
0 |
0.00
|
Plugin for Vapoursynth: delogo (GIT version) |
sl1pkn07
|
2022-03-13 02:04 (UTC) |
vapoursynth-plugin-removelogo-git
|
v1.0.0.g2d7fec6-1 |
1 |
0.00
|
Plugin for Vapoursynth: removelogo (GIT version) |
sandsmark
|
2020-09-25 12:36 (UTC) |
vc-dwim
|
1.10-1 |
0 |
0.00
|
GNU utilities for version control and maintaining changelog files |
orphan
|
2022-05-28 06:16 (UTC) |
vdt
|
5.4.68-1 |
1 |
0.00
|
Visual Disk Test performs i/o tests on files, logical volumes, partitions or whole disks. |
masutu
|
2015-07-06 20:47 (UTC) |
vector_blf-git
|
r480.g02f0a2f-1 |
0 |
0.00
|
This is a library to access Binary Log File (BLF) files from Vector Informatik. |
Murmele
|
2023-01-04 12:12 (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) |
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) |
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) |
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) |
vhd2vl-git
|
2.5-1 |
1 |
0.00
|
Translate synthesizable VHDL into Verilog 2001 |
marzoul
|
2021-02-06 17:15 (UTC) |
victor
|
0.4-2 |
0 |
0.00
|
Command line tool to log activities and measure time spent |
ssiyad
|
2022-01-23 11:47 (UTC) |
vim-biosyntax-git
|
1518543961-2 |
1 |
0.00
|
Syntax Highlighting for Computational Biology, vim plugin |
iosonofabio
|
2019-03-22 17:48 (UTC) |
vim-gtk-recent-git
|
r6.14086b5-1 |
0 |
0.00
|
logs files opened in vim into GObject recent files |
lafleur
|
2020-09-13 21:51 (UTC) |
vim-httplog
|
0.5-3 |
0 |
0.00
|
Highlight access log of Apache, nginx, etc for vim/neovim |
naruto522ru
|
2023-06-19 19:09 (UTC) |
vim-log-highlighting
|
1.0.0.a-1 |
0 |
0.00
|
Syntax highlighting for generic log files in VIM |
graysky
|
2021-01-16 12:09 (UTC) |
vim-logstash-git
|
r11.6d96810-1 |
1 |
0.00
|
Vim highlights configuration files for logstash |
cgirard
|
2019-04-05 11:45 (UTC) |
vim-systemverilog-git
|
r17.27d89e8-1 |
0 |
0.00
|
SystemVerilog support for vim |
anatolik
|
2015-11-30 22:46 (UTC) |
visrtx
|
0.1.6-1 |
1 |
0.00
|
Visualization framework powered by NVIDIA technology. |
Meak
|
2020-01-09 16:00 (UTC) |
vivado-library-git
|
v2018.2.1.r6.fd36d3e-1 |
0 |
0.00
|
free-to-use IP cores and interface definitions compatible with Xilinx Vivado IP Catalog |
telans
|
2019-02-15 10:31 (UTC) |
vlogsolv
|
1.2-0 |
0 |
0.00
|
cli program that calculates value tables for logical expressions |
nzbr
|
2020-11-29 21:53 (UTC) |
voglperf64
|
0.2-7 |
10 |
0.00
|
benchmarking tool for OpenGL games (frame info, logs, steam support) |
orphan
|
2015-11-01 21:12 (UTC) |
voglperf32
|
0.2-7 |
10 |
0.00
|
benchmarking tool for OpenGL games (frame info, logs, steam support) |
orphan
|
2015-11-01 21:12 (UTC) |
voicechanger-tui-git
|
r4.d55b4d9-1 |
0 |
0.00
|
A simple voice changer using a dialog frontend and sox |
schrmh
|
2022-04-09 10:44 (UTC) |
vouch-proxy
|
0.39.0-1 |
0 |
0.00
|
an SSO and OAuth / OIDC login solution for Nginx using the auth_request module |
gdamjan
|
2023-02-20 23:02 (UTC) |
vpaint-git
|
1.7.r22.g5805751-1 |
3 |
0.00
|
VPaint is an experimental vector graphics editor based on the Vector Animation Complex technology. (git version) |
simonrepp
|
2023-09-23 09:59 (UTC) |
w3perl
|
3.20-1 |
3 |
0.00
|
W3Perl is a free and comprehensive logfile analyzer for Web / FTP / Squid and Mail servers. |
jnbek
|
2016-04-18 23:26 (UTC) |
wal2json
|
2_5-1 |
1 |
0.00
|
Output plugin for logical decoding PostgreSQL WAL's |
ProFfeSsoRr
|
2023-02-19 07:33 (UTC) |
walogram-git
|
1.3.0.r70.d985fdd-1 |
0 |
0.00
|
Generate telegram-desktop themes based on generated by wal or user defined colors |
thirtysixpw
|
2023-11-03 12:08 (UTC) |
warcraftlogsuploader-appimage
|
8.5.25-1 |
0 |
0.00
|
warcraftlogs.com desktop client for Linux |
deltachaos
|
2024-06-28 08:46 (UTC) |
warsaw
|
1.12.3.11-3 |
39 |
0.00
|
Banking security tool developed by GAS Tecnologia |
afterSt0rm
|
2022-04-28 23:39 (UTC) |
warsaw-openrc
|
1.12.3.11-5 |
0 |
0.00
|
Banking security tool developed by GAS Tecnologia |
ryukinix
|
2019-03-06 14:11 (UTC) |
wayland-log-reader-git
|
0.20191008.20.ed02317-1 |
1 |
0.00
|
Application for navigating and making sense of WAYLAND_DEBUG log output |
bobbaluba
|
2019-10-08 08:28 (UTC) |
wayland-logout
|
1.4-1 |
1 |
0.00
|
A utility designed to kill a single instance of a Wayland compositor |
karras
|
2022-07-03 20:04 (UTC) |
webalizer
|
2.23.08.20210401-5 |
17 |
0.00
|
A web server log file analysis program producing HTML reports |
victor3d
|
2024-03-11 21:24 (UTC) |
webcatalog-bin
|
57.2.0-1 |
1 |
0.00
|
Turn Any Websites into Real Desktop Apps |
michaelcat
|
2024-07-02 01:19 (UTC) |
weblogo2
|
2.8.2-1 |
0 |
0.00
|
A web based application designed to make the generation of sequence logos as easy and painless as possible |
greyltc
|
2016-01-20 12:52 (UTC) |
weblog_parse
|
20141202-1 |
0 |
0.00
|
extract specified fields from a web log file |
lmn
|
2022-02-13 15:09 (UTC) |
webvfx
|
1.2.0-1 |
0 |
0.00
|
Video effects engine based on web technologies |
cbrunet
|
2020-05-15 01:50 (UTC) |
wechat-without-sandbox
|
1.0.0.238-1 |
0 |
0.00
|
wechat(no sandbox isolated) without login restrict. If you mind no sand-box, you could download another version like https://wiki.archlinux.org/title/WeChat |
linzeen
|
2024-06-03 12:24 (UTC) |
weidu-bin
|
249-1 |
1 |
0.00
|
A dialogue compiler for Infinity Engine games (precompiled binary) |
Taijian
|
2021-12-06 16:28 (UTC) |