z3-stable-git
|
4.8.4.g05663592e-1 |
0 |
0.00
|
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) |
Ice_Phoenix
|
2019-03-12 14:50 (UTC) |
z80-elf-binutils
|
2.41-1 |
0 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the Z80 (bare-metal) target |
mctpyt
|
2023-08-22 16:07 (UTC) |
z80dasm
|
1.1.6-3 |
5 |
0.00
|
Disassembler for the Zilog Z80 microprocessor |
ivanovp
|
2024-02-18 06:41 (UTC) |
z80e
|
0.5.3-2 |
3 |
0.00
|
An emulation library and client programs for z80 calculators |
aviallon
|
2021-02-08 09:27 (UTC) |
z88dk
|
2.3-1 |
6 |
0.03
|
Developement kit for Z80 computers |
zxz
|
2023-12-30 19:36 (UTC) |
z88dk-git
|
v2.1.r19.g7c6df7ac3-1 |
2 |
0.00
|
The development kit for over fifty z80 machines - c compiler, assembler, linker, libraries. |
orphan
|
2021-02-09 12:43 (UTC) |
zabbix-agent-2.2
|
2.2.14-1 |
0 |
0.00
|
Software designed for monitoring availability and performance of IT infrastructure components |
andrew.boren
|
2016-07-23 23:11 (UTC) |
zabbix-agent-2.4
|
2.4.8-2 |
0 |
0.00
|
Software designed for monitoring availability and performance of IT infrastructure components |
orphan
|
2020-07-12 16:27 (UTC) |
zabbix-agent-lts
|
4.0.18-2 |
3 |
0.00
|
Monitoring agent for Zabbix |
miup
|
2020-02-25 06:49 (UTC) |
zabbix-agent2-plugin-postgresql
|
1:6.4.15-1 |
1 |
0.05
|
Loadable plugin for PostreSQL integration in Zabbix agent2 |
xiretza
|
2024-06-01 11:36 (UTC) |
zabbix-nightly-agent
|
5.0.0beta2-1 |
0 |
0.00
|
Monitoring agent for Zabbix, nightly version |
orphan
|
2020-04-16 07:56 (UTC) |
zabbix-nightly-agent2
|
5.0.0beta2-1 |
0 |
0.00
|
Experimental monitoring agent for Zabbix (Agent 2), nightly version |
orphan
|
2020-04-16 07:56 (UTC) |
zabbix-nightly-frontend-php
|
5.0.0beta2-1 |
0 |
0.00
|
PHP frontend for Zabbix, nightly version |
orphan
|
2020-04-16 07:56 (UTC) |
zabbix-nightly-proxy
|
5.0.0beta2-1 |
0 |
0.00
|
Data collecting proxy for Zabbix, nightly version |
orphan
|
2020-04-16 07:56 (UTC) |
zabbix-nightly-server
|
5.0.0beta2-1 |
0 |
0.00
|
Monitoring software for networks and applications, nightly version |
orphan
|
2020-04-16 07:56 (UTC) |
zabbix-proxy-sqlite-2.4
|
2.4.8-2 |
0 |
0.00
|
Software for monitoring of your applications, network and servers. |
orphan
|
2023-03-17 08:51 (UTC) |
zabbix-proxy-sqlite-lts
|
5.0.2-1 |
1 |
0.00
|
Software for monitoring of your applications, network and servers. |
orphan
|
2023-03-17 08:53 (UTC) |
zam-plugins-git
|
4.3.r0.g9e824af-3 |
13 |
0.00
|
Collection of multi-format audio plugins for high-quality processing (git version) |
SpotlightKid
|
2024-05-14 13:42 (UTC) |
zaman
|
1.2.3-1 |
2 |
0.00
|
A simple cli tool that prints (or saves) man pages in a PDF file for an easier reading |
Antiz
|
2024-04-13 12:56 (UTC) |
zanata-python-client
|
1.5.3-1 |
1 |
0.00
|
Client for managaging translations on Zanata |
adsun
|
2019-08-07 22:39 (UTC) |
zanshin-git
|
v21.11.90.r292.31195a7a-1 |
0 |
0.00
|
To-do management application for KDE |
orphan
|
2023-11-06 17:16 (UTC) |
zapcc-git
|
r57.9bd04e761-1 |
6 |
0.00
|
caching C++ compiler based on clang, designed to perform faster compilations |
PhCl
|
2018-11-18 18:46 (UTC) |
zapit
|
1.2-2 |
0 |
0.00
|
An advanced MQTT client made for the modern age |
chocoearly44
|
2023-01-15 10:55 (UTC) |
zaproxy-desktop
|
1-2 |
0 |
0.00
|
Integrated penetration testing tool for finding vulnerabilities in web applications (desktop icon) |
mh4ckwascut
|
2023-04-11 17:23 (UTC) |
zaproxy-shortcut
|
1-0 |
0 |
0.00
|
Integrated penetration testing tool for finding vulnerabilities in web applications (desktop shortcut) |
XcroatoanX
|
2024-06-20 19:37 (UTC) |
zaproxy-weekly
|
2024_06_17-1 |
6 |
0.22
|
Integrated penetration testing tool for finding vulnerabilities in web applications, weekly Pre-release |
johnnybash
|
2024-06-17 16:56 (UTC) |
zarchive-git
|
0.1.2.r0.gd2c7177-2 |
0 |
0.00
|
Library for creating and reading zstd-compressed file archives |
abouvier
|
2023-05-24 13:44 (UTC) |
zarn
|
0.0.9-2 |
0 |
0.00
|
A lightweight static code security analysis for Modern Perl Applications |
Geballin
|
2024-05-19 01:21 (UTC) |
zathura-cb-git
|
0.1.10.r9.g718ae3b-1 |
8 |
0.00
|
Comic book support for zathura |
TrialnError
|
2024-06-17 21:03 (UTC) |
zathura-djvu-git
|
0.2.9.r6.gd749059-1 |
20 |
0.00
|
DjVu support for zathura |
a821
|
2024-06-15 10:25 (UTC) |
zathura-gruvbox-git
|
r7.0b49904-1 |
0 |
0.00
|
the gruvbox color theme for zathura |
Freed
|
2023-01-16 16:44 (UTC) |
zathura-pdf-mupdf-git
|
0.4.3.r1.g2c28795-1 |
21 |
0.00
|
PDF support for zathura (mupdf backend) (Supports PDF, ePub, and OpenXPS) |
a821
|
2024-06-15 10:25 (UTC) |
zathura-pdf-poppler-git
|
0.3.2.r4.g79b4e32-1 |
28 |
0.00
|
PDF support for zathura (poppler backend) |
a821
|
2024-06-15 10:25 (UTC) |
zathura-ps-git
|
0.2.7.r5.gd03911c-1 |
19 |
0.00
|
PostScript support for zathura |
a821
|
2024-06-15 10:26 (UTC) |
zathura-solarized-git
|
r3.d63c710-1 |
0 |
0.00
|
the solarized color theme for zathura |
Freed
|
2023-01-21 07:21 (UTC) |
zaura
|
0.1.4-1 |
0 |
0.00
|
A bash library for utilizing the AUR inside bash scripts. |
ffqq
|
2022-09-05 16:35 (UTC) |
zaura-git
|
0.1.2-1 |
0 |
0.00
|
A bash library for utilizing the AUR inside bash scripts. |
ffqq
|
2022-09-06 16:23 (UTC) |
zazu-bin
|
0.6.0-0 |
3 |
0.00
|
A cross platform productivity application. |
Hyllios
|
2019-08-23 07:27 (UTC) |
zbar-git
|
0.23.93.r2.ga549566-1 |
0 |
0.00
|
Application and library for reading bar codes from various sources |
tytan652
|
2024-02-20 10:06 (UTC) |
zbectl-git
|
v2.0.r0.gb0ad491-1 |
0 |
0.00
|
Utility for managing ZFS Boot Environments in Arch Linux |
Finic8
|
2019-05-02 10:29 (UTC) |
zcash-swing-wallet-ui-git
|
r138.2247791-3 |
1 |
0.00
|
Desktop GUI Wallet for ZCash |
Nothing4You
|
2017-10-08 18:39 (UTC) |
zcfan
|
1.3.0-1 |
5 |
0.12
|
Zero-configuration fan control for ThinkPad |
cdown
|
2024-02-29 00:09 (UTC) |
zcfan-git
|
1.2.1.r0.g5cf1439-1 |
0 |
0.00
|
Zero-configuration fan control for ThinkPad (git version) |
cdown
|
2022-08-12 02:04 (UTC) |
zcfan-openrc
|
1.1.3-1 |
1 |
0.00
|
OpenRC init script for zcfan - Zero-configuration fan control for ThinkPads |
MeganerdNL
|
2023-03-19 10:06 (UTC) |
zchunk
|
1.3.0-1 |
4 |
0.00
|
A file format designed for highly efficient deltas while maintaining good compression |
yurikoles
|
2023-03-22 05:23 (UTC) |
zchunk-git
|
1.3.0.r0.g1d8f144-1 |
1 |
0.00
|
A file format designed for highly efficient deltas while maintaining good compression (git version) |
yurikoles
|
2023-03-22 05:38 (UTC) |
zd1211-firmware
|
1.5-4 |
9 |
0.00
|
Firmware for the in-kernel zd1211rw wireless driver |
tmn505
|
2020-05-16 14:18 (UTC) |
zdiu
|
0.1.1-1 |
0 |
0.00
|
CLI tool for uploading large files to Discord in parts using webhooks |
orphan
|
2023-06-21 00:28 (UTC) |
zdiu-git
|
0.1.1.r0.gc56402b-1 |
1 |
0.00
|
CLI tool for uploading large files to Discord in parts using webhooks |
lemonsh
|
2023-06-20 23:21 (UTC) |
zdkimfilter
|
3.20-1 |
2 |
0.00
|
zDKIM filter for Courier-MTA using the OpenDKIM Project's library. |
deep_thought
|
2024-05-28 11:32 (UTC) |