51625 packages found. Page 8 of 1033.

« First ‹ Previous ... 3 4 5 6 7 8 9 10 11 12 13 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
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
z3-stable-git 4.5.0.gc1480b4-1 0 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
z3-java 4.5.0-1 0 0.00 A high-performance theorem prover (with java bindings) Sebastian
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-bin 4.5.0-2 6 0.12 An automatic high-performance theorem prover kaptoxic
z-stack-gateway 1.0.1-3 0 0.00 Z-Stack Linux Gateway is TI's ZigBee Home Gateway solution for Linux systems. greyltc
z-push 2.4.1-2 7 0.00 open-source implementation of the ActiveSync protocol martimcfly
z-git 1.8.39.g9dafe44-1 15 0.12 z keeps track of where you've been and provides a convenient way to jump to directory that you actually use (git version) shaggytwodope
z-dir-jump-git 20160822-1 0 0.00 jump around - Tracks your most used directories, based on 'frecency'. danmilon
yzis-git 2864.378c355-1 1 0.00 Vi-like editor with frontends for Qt5 and NCurses sandsmark
yy-wine-1 1.0-1 0 0.00 YY Voice from douwan run on wine gbcbooks
yuzu-qt-git r7735.fd9da423-1 5 0.08 An experimental open-source Nintendo Switch emulator/debugger hcorion
yuzu-qt-canary-git r8050.de16b9149-1 1 0.70 An experimental open-source Nintendo Switch emulator/debugger bscubed
yuzu-git r7735.fd9da423-1 5 0.08 An experimental open-source Nintendo Switch emulator/debugger hcorion
yuzu-canary-git r8050.de16b9149-1 1 0.70 An experimental open-source Nintendo Switch emulator/debugger bscubed
yuyo-gtk-theme-git 100.8f75db1-3 5 0.00 The Official Ubuntu MATE GTK theme (forked from Moka Project's Orchis GTK theme) hebrew
yuview-git r1122.45015e9-1 1 0.00 The Free and Open Source Cross Platform YUV Viewer with an advanced analytics toolset johannesWinter
yusuke-git 20160508-2 0 0.00 pacman update notifier graypawn
yusuke 1.7.8-1 2 0.85 pacman update notifier graypawn
yuml r39.a1a1270-1 1 0.00 An unofficial command line client for the yUML web app sinisterstuf
yumi-bin 0.0.1-1 19 0.00 YUMI (Your Universal Multiboot Integrator), is the successor to our MultibootISOs. It can be used to create a Multiboot USB Flash Drive containing multiple operating systems, antivirus utilities, disc cloning, diagnostic tools, and more. severach
yumenikki-zh-cn 0.10-1 1 0.00 Surrealistic adventure game about exploring the dreams of a hikikomori character named Madotsuki.Also known as "Dream Diary". Simplified chinese Ver. maz-1
yumenikki-jp 0.10-1 1 0.00 Surrealistic adventure game about exploring the dreams of a hikikomori character named Madotsuki.Also known as "Dream Diary". Original Ver(Japanese). maz-1
yumenikki-en 0.10-1 5 0.55 Surrealistic adventure game about exploring the dreams of a hikikomori character named Madotsuki.Also known as "Dream Diary". English Ver. maz-1
yumbootstrap-git 78.a99c946-1 2 0.00 Tool for installing Yum-based distributions (Red Hat, CentOS, Fedora) in a chroot directory punkrockguy318
yum-utils 1.1.31-6 5 0.00 A collection of utilities and plugins extending and supplementing yum in different ways larchunix
yum-metadata-parser 1.1.4-10 11 0.20 C-based metadata parser to quickly parse xml metadata into sqlite databases. punkrockguy318
yum 3.4.3-7 66 0.21 a popular channel based package manager for RPM distros. axil42
yujmo_libfreenect2 2.1-1 1 0.04 Open source drivers for the Kinect for Windows v2 yujmo
yuicompressor 2.4.8-3 85 0.02 CSS and Javascript compressor metalgamer
yudit-beta 2.9.7.beta4-1 1 0.00 A free Unicode plain-text editor for Unix-like systems - beta version haawda
yudit 2.9.6-1 16 0.00 A free Unicode plain-text editor for Unix-like systems. aksr
yubipam-git r41.9427495-1 0 0.00 YubiPAM is a module for PAM that provides support for One Time Passwords (OTP) authentication. fzerorubigd
yubikey-touch-detector 1.1.0-1 1 0.00 A tool that can detect when your YubiKey is waiting for a touch maximbaz
yubikey-piv-manager 1.4.2-3 11 0.01 Tool for configuring your PIV-enabled YubiKey. jtyr
yubikey-personalization-gui-git 3.1.24.r3.g99fc66d-1 27 0.02 Yubico YubiKey Personalization GUI - git checkout eworm
yubikey-personalization-git 1.17.3.r20.g74d0873-1 32 0.02 Yubico YubiKey Personalization library and tool - git checkout eworm
yubikey-oath-dmenu 0.4.0-2 4 0.08 dmenu interface for getting OATH codes from a YubiKey emlun
yubikey-neo-manager-git 1.4.0.r3.gcd0de3a-2 5 0.00 Cross platform personalization tool for the YubiKey NEO - git checkout eworm
yubikey-manager-git 0.4.5.r11.e23d0bd-1 2 0.00 Command line and GUI tool for configuring YubiKeys, over all transports. kbabioch
yubico-yubioath-desktop-git 1061-1 9 0.00 Crossplatform graphical user interface to generate one-time passwords. tuftedocelot
yubico-yubioath-desktop 4.3.4-1 32 1.13 Crossplatform graphical user interface to generate one-time passwords. tuftedocelot
yubico-piv-tool 1.6.0-2 16 0.17 Tool to interact with the PIV applet on a YubiKey NEO travisghansen
yubico-pam-git 2.19.r12.g11326d0-1 12 0.00 Yubico YubiKey PAM module - git checkout eworm
yubico-c-git 1.13.r2.g167cb06-1 2 0.00 Yubico YubiKey C library - git checkout eworm
yubico-c-client-git 2.14.r1.ga022697-1 25 0.00 Yubico YubiKey client C library - git checkout eworm
yturl 2.0.2-1 6 0.01 YouTube videos on the command line cdown
ytsubs 0.3.1-1 1 0.01 Make an RSS feed from YouTube subscriptions J4913
ytree 1.99pl1-1 11 0.10 A curses-based file manager similar to DOS Xtree(tm) valr
ytplmp4 9.1-1 5 0.00 YTPLMP4 - YouTube Playlist to MP3. Download single songs or playlists from Youtube and Soundcloud. agnotek

51625 packages found. Page 8 of 1033.

« First ‹ Previous ... 3 4 5 6 7 8 9 10 11 12 13 ... Next › Last »