57862 packages found. Page 1150 of 1158.

« First ‹ Previous ... 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
z3-bin 4.5.0-2 6 0.00 An automatic high-performance theorem prover kaptoxic
z3-git 4.5.0.r1325.g05c4ea82-1 8 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research d.woffinden
z3-java 4.5.0-1 0 0.00 A high-performance theorem prover (with java bindings) Sebastian
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
z3-unstable-git 20150413-1 1 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
z600 1.0-4 11 0.00 Lexmark Z600 Printer Driver TrialnError
z80-asm 2.4.pre3-3 10 0.00 Assembler, monitor and disassembler for Z80 series CPUs Boohbah
z80asm 1.8-2 5 0.01 A Z80 assembler written in c phillid
z80dasm 1.1.5-1 5 0.01 Disassembler for the Zilog Z80 microprocessor ivanovp
z80e 0.4.0-1 2 0.00 An emulation library and client programs for z80 calculators SirCmpwn
z88dk 1.99C-1 4 0.00 Developement kit for Z80 computers zxz
z88dk-git de7d7119a-1 1 0.00 The development kit for over fifty z80 machines - c compiler, assembler, linker, libraries. orphan
z88dk-splib2 1.10.1-1 0 0.00 A small C compiler for the Zilog Z80 with splib2 grafics library. son_link
zabbix-agent-2.2 2.2.14-1 0 0.00 Software designed for monitoring availability and performance of IT infrastructure components andrew.boren
zabbix-agent-2.4 2.4.8-1 0 0.00 Software designed for monitoring availability and performance of IT infrastructure components orphan
zabbix-agent-lts 3.0.14-1 1 0.00 Software designed for monitoring availability and performance of IT infrastructure components TamCore
zabbix-cli-git 1.7-1 0 0.00 Command-line interface for the Zabbix monitoring system coldBug
zabbix-proxy-sqlite-2.4 2.4.8-1 0 0.00 Software for monitoring of your applications, network and servers. orphan
zabbix-proxy-sqlite-lts 3.0.14-1 1 0.00 Software for monitoring of your applications, network and servers. TamCore
zabbixctl autogenerated-1 0 0.00 operate on zabbix using command line interface kovetskiy
zacman-git 9.0502696-1 2 0.00 Another package manager for zsh fzerorubigd
zafiro-icon-theme 0.9-3 4 0.11 A icon pack flat with light colors. axionl
zafiro-icon-theme-git v0.9.r12.gff63a8f-1 0 0.00 Icon pack flat with light colors m3thodic
zalc 1.2.4-2 6 0.00 A small, FLTK-based calculator ziggi
zalo 0.1-1 1 0.01 Zalo - Nhắn gửi yêu thương hthhieu
zam-plugins-git 3.10.r55.gf2d73e5-1 12 0.00 Collection of LV2/LADSPA/VST audio plugins for high quality processing. CrocoDuck
zanata-python-client 1.5.2-1 1 0.00 Client for managaging translations on Zanata nobrakal
zandronum 3.0-4 4 0.01 OpenGL ZDoom port with Client/Server multiplayer sanerb
zandronum-hg r10074.c11f78a5b028-2 4 0.00 OpenGL ZDoom port with Client/Server multiplayer. (Development branch checkout) sanerb
zandronum2 2.1.2-1 16 0.00 OpenGL ZDoom port with Client/Server multiplayer. mobo
zangband 2.7.5pre1-1 10 0.00 Roguelike computer role playing game based on Angband Dragonlord
zano 1.0.29-1 0 0.00 Zano: innovative private money anonimal
zap-desktop-bin 0.4.1_beta-1 1 0.13 Lightning wallet focused on user experience and ease of use dmp1ce
zap-desktop-git 0.4.1.beta-1 0 0.00 Lightning wallet focused on user experience and ease of use dmp1ce
zapcc-git r57.9bd04e761-1 6 0.00 caching C++ compiler based on clang, designed to perform faster compilations PhCl
zapier-platform-cli 8.2.1-1 1 0.42 This CLI is your gateway to creating custom applications on the Zapier platform braderhart
zapm 0.8.3-2 17 0.03 A science fiction roguelike, Nethack in space. keenerd
zapply-git 20140731-1 0 0.00 Batch-run commands with zsh globbing and pattern matching semi
zaproxy-weekly 2019_07_01-1 2 1.12 Integrated penetration testing tool for finding vulnerabilities in web applications, weekly Pre-release johnnybash
zarafa-libical 7.2.0-340 1 0.00 An open source reference implementation of the icalendar data type and serialization format martimcfly
zarafa-libvmime 7.2.0-346 6 0.00 A C++ class library for working with MIME messages martimcfly
zarafa-postfixadmin 0.45.3-1 1 0.00 A web based interface used to manage mailboxes, virtual domains and aliases created for Zarafa-Server with DB-Plugin and Postfix martimcfly
zarafa-server 7.2.6.10-68 6 0.00 Open Source Groupware Solution martimcfly
zarafa-service-overview 1.0.2-1 0 0.00 Zarafa service overview martimcfly
zarafa-spamhandler 0.1-3 0 0.00 Spamhandler for Zarafa martimcfly
zarafa-webaccess 7.2.1-6 1 0.00 Open Source Groupware Solution martimcfly
zarafa-webaccess-mdm 2.1-5 1 0.00 Mobile Device Management plugin for Zarafa Webaccess martimcfly
zarafa-webapp 2.2.0.414-100 2 0.00 WebApp for Zarafa martimcfly
zarafa-webapp-browsercompatibility 2.2.0.414-100 2 0.00 WebApp for Zarafa martimcfly
zarafa-webapp-clockwidget 2.2.0.414-100 2 0.00 WebApp for Zarafa martimcfly

57862 packages found. Page 1150 of 1158.

« First ‹ Previous ... 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 ... Next › Last »