40182 packages found. Page 803 of 804.

« First ‹ Previous ... 798 799 800 801 802 803 804 Next › Last »

Name Version Votes Popularity? Description Maintainer
bdsync 0.10-2 2 0.00 Fast block device synchronizing tool zorun
coq 8.5pl3-1 58 0.97 Formal proof management system. Full version that includes CoqIDE. zorun
coq-doc 8.4pl6-2 8 0.41 HTML documentation for coq, a formal proof management system. zorun
coq-nox 8.5pl3-1 3 0.00 Formal proof management system. Headless version, without CoqIDE. zorun
egypt 1.10-1 2 0.02 A simple tool for creating call graphs of C programs zorun
i2util 1.2-1 1 0.02 Internet2 utility tools zorun
iproute-mptcp 0.91.1-1 2 0.00 IP Routing Utilities, with Multipath TCP support zorun
kashmir 20150805-1 8 2.45 A header-only library intended to provide functionality needed in many software projects, but not present in the C++ standard library zorun
libringclient 1:1.0.0.r118.gaf85267-1 30 1.55 Client communication library for ring.cx (formerly known as SFLphone) zorun
libringclient-git 20161117-1 5 0.26 Client communication library for ring.cx (formerly known as SFLphone) zorun
linux-mptcp 1:0.91.2.r3.g7dc057e-2 10 0.79 The Linux kernel and modules with Multipath TCP support (based on linux 4.1.35) zorun
linux-mptcp-docs 1:0.91.2.r3.g7dc057e-2 10 0.79 Kernel hackers manual - HTML documentation that comes with the Linux-mptcp kernel zorun
linux-mptcp-headers 1:0.91.2.r3.g7dc057e-2 10 0.79 Header files and scripts for building modules for Linux-mptcp kernel zorun
net-tools-mptcp 2:0.91.1-1 1 0.00 Configuration tools for Linux networking, with Multipath TCP support zorun
npiet 1.3e-1 3 0.02 An interpreter for piet programs. Also includes npietedit and npiet-foogol zorun
opendht 1:1.2.1.r55.ge7295ba-1 23 2.10 A C++11 implementation of the Kademlia DHT (Distributed Hash Table) zorun
opendht-git 20161110-1 14 0.49 A C++11 implementation of the Kademlia DHT (Distributed Hash Table) zorun
pius 2.2.2-1 13 0.00 PGP Individual UID Signer (PIUS) zorun
pjproject-savoirfairelinux 2.5.5-5 16 2.58 Open source SIP stack and media stack, built with patches from SavoirFaire Linux (mostly GnuTLS support) zorun
python-lvm 2.02.168-1 1 0.78 Python 3 bindings for LVM zorun
python2-lvm 2.02.168-1 1 0.78 Python 2 bindings for LVM zorun
restbed 4.0-4 6 0.71 A framework for asynchronous RESTful functionality in C++11 applications zorun
restbed-latest 1:4.0.r98.ga98d431-1 8 2.45 A framework for asynchronous RESTful functionality in C++11 applications zorun
ring-daemon 1:2.1.0.r839.gbc29db5f4-1 33 1.83 ring.cx is free software for universal communication which respects freedoms and privacy of its users (formerly known as SFLphone) zorun
ring-daemon-git 20161128-1 5 0.26 ring.cx is free software for universal communication which respects freedoms and privacy of its users (formerly known as SFLphone) zorun
ring-gnome 1:1.0.0.r158.g7d8548c-1 31 2.94 The GNOME client for ring.cx (formerly known as SFLphone) zorun
ring-gnome-git 20161121-1 6 0.54 The GNOME client for ring.cx (formerly known as SFLphone) zorun
sig2dot 0.35-2 15 0.00 Generates a graph of all of the signature relationships in a GPG/PGP keyring zorun
tsocks-ipv6 1.8beta6-2 2 0.00 Transparent SOCKS proxying library, with IPv6 support zorun
udrawgraph 3.1.1-5 5 0.00 The powerful solution for graph visualization zorun
packer-io-git 0.7.2.r21.g399837b-1 3 0.93 Packer is a tool for creating identical machine images for multiple platforms from a single source configuration. zosodk69
gnome-shell-extension-taskbar 53.0-1 15 1.33 GNOME Shell Extension TaskBar zpydr
clion 1:2016.3.2-1 105 8.78 C/C++ IDE. Free 30-day trial. Zrax
clion-cmake 1:2016.3.2-1 105 8.78 C/C++ IDE. Free 30-day trial. Zrax
clion-eap 163.10154.43-1 45 0.31 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-cmake 163.10154.43-1 45 0.31 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-gdb 163.10154.43-1 45 0.31 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-jre 163.10154.43-1 45 0.31 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-lldb 163.10154.43-1 45 0.31 C/C++ IDE. 30-day evaluation. Zrax
clion-gdb 1:2016.3.2-1 105 8.78 C/C++ IDE. Free 30-day trial. Zrax
clion-jre 1:2016.3.2-1 105 8.78 C/C++ IDE. Free 30-day trial. Zrax
clion-lldb 1:2016.3.2-1 105 8.78 C/C++ IDE. Free 30-day trial. Zrax
cwidget 0.5.17-1 0 0.00 High-level C++ user interface library built on ncurses Zrax
kf5-doc-qch 2016.03.22-1 0 0.00 Reference for developing with the KDE frameworks in Qt Help format Zrax
libbuddy-git 0.3.1.r8.g75f323f-1 0 0.00 Simple library for managing iBuddy and Blync devices Zrax
openchange 2.3-7 28 0.01 A portable, open source implementation of Microsoft Exchange server and Exchange protocols. Zrax
opkg 0.3.4-1 0 0.00 Opkg is a lightweight package management system based upon ipkg Zrax
qt-lua 2.1-1 0 0.00 Lua scripting API for Qt applications Zrax
string-theory 1.2-1 0 0.00 Flexible UTF-8 string library and type-safe formatter for C++ Zrax
swift 3.0.2-1 16 2.13 The Swift programming language compiler and tools Zrax

40182 packages found. Page 803 of 804.

« First ‹ Previous ... 798 799 800 801 802 803 804 Next › Last »