40231 packages found. Page 804 of 805.

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

Name Version Votes Popularity? Description Maintainer
coq 8.5pl3-1 58 0.93 Formal proof management system. Full version that includes CoqIDE. zorun
coq-doc 8.4pl6-2 8 0.40 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 9 3.36 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.r122.g2c2512f8-2 31 2.48 Client communication library for ring.cx (formerly known as SFLphone) zorun
libringclient-git 20161117-1 5 0.25 Client communication library for ring.cx (formerly known as SFLphone) zorun
linux-mptcp 1:0.91.2.r3.g7dc057e-2 10 0.77 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.77 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.77 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.r66.g3fb7c2a-1 24 3.02 A C++11 implementation of the Kademlia DHT (Distributed Hash Table) zorun
opendht-git 20161110-1 14 0.48 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 17 3.47 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.75 Python 3 bindings for LVM zorun
python2-lvm 2.02.168-1 1 0.75 Python 2 bindings for LVM zorun
restbed 4.0-4 6 0.68 A framework for asynchronous RESTful functionality in C++11 applications zorun
restbed-latest 1:4.0.r98.ga98d431-1 9 3.36 A framework for asynchronous RESTful functionality in C++11 applications zorun
ring-daemon 1:2.1.0.r847.gf38e8a80e-1 34 2.76 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.25 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 32 3.83 The GNOME client for ring.cx (formerly known as SFLphone) zorun
ring-gnome-git 20161121-1 6 0.52 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.90 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.29 GNOME Shell Extension TaskBar zpydr
clion 1:2016.3.2-1 106 9.47 C/C++ IDE. Free 30-day trial. Zrax
clion-cmake 1:2016.3.2-1 106 9.47 C/C++ IDE. Free 30-day trial. Zrax
clion-eap 163.10154.43-1 45 0.29 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-cmake 163.10154.43-1 45 0.29 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-gdb 163.10154.43-1 45 0.29 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-jre 163.10154.43-1 45 0.29 C/C++ IDE. 30-day evaluation. Zrax
clion-eap-lldb 163.10154.43-1 45 0.29 C/C++ IDE. 30-day evaluation. Zrax
clion-gdb 1:2016.3.2-1 106 9.47 C/C++ IDE. Free 30-day trial. Zrax
clion-jre 1:2016.3.2-1 106 9.47 C/C++ IDE. Free 30-day trial. Zrax
clion-lldb 1:2016.3.2-1 106 9.47 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.05 The Swift programming language compiler and tools Zrax
swift-development DEVELOPMENT.SNAPSHOT.2016.09.11.a-1 3 0.19 The Swift programming language compiler and tools - development snapshot Zrax

40231 packages found. Page 804 of 805.

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