33 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
coq 8.5pl3-1 57 0.38 Formal proof management system. Full version that includes CoqIDE. zorun
ring-daemon 1:2.1.0.r751.g2b11722-1 32 3.19 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.r144.gfa24b93-1 30 5.24 The GNOME client for ring.cx (formerly known as SFLphone) zorun
libringclient 1:1.0.0.r118.gaf85267-1 30 3.75 Client communication library for ring.cx (formerly known as SFLphone) zorun
opendht 1:1.2.1.r17.g2d9f624-1 22 3.89 A C++11 implementation of the Kademlia DHT (Distributed Hash Table) zorun
sig2dot 0.35-2 15 0.01 Generates a graph of all of the signature relationships in a GPG/PGP keyring zorun
pjproject-savoirfairelinux 2.5.5-3 15 5.00 Open source SIP stack and media stack, built with patches from SavoirFaire Linux (mostly GnuTLS support) zorun
opendht-git 20161110-1 14 1.20 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
linux-mptcp-headers 1:0.91.2.r0.g8e6d10d-1 10 1.93 Header files and scripts for building modules for Linux-mptcp kernel zorun
linux-mptcp-docs 1:0.91.2.r0.g8e6d10d-1 10 1.93 Kernel hackers manual - HTML documentation that comes with the Linux-mptcp kernel zorun
linux-mptcp 1:0.91.2.r0.g8e6d10d-1 10 1.93 The Linux kernel and modules with Multipath TCP support (based on linux 4.1.35) zorun
coq-doc 8.4pl6-2 8 1.00 HTML documentation for coq, a formal proof management system. zorun
asio-latest 1.11.0.r161.g14db637-3 8 5.34 Cross-platform C++ library for ASynchronous network I/O (1.11 branch) zorun
restbed-latest 1:4.0.r98.ga98d431-1 7 4.74 A framework for asynchronous RESTful functionality in C++11 applications zorun
kashmir 20150805-1 7 4.74 A header-only library intended to provide functionality needed in many software projects, but not present in the C++ standard library zorun
ring-gnome-git 20161121-1 6 1.30 The GNOME client for ring.cx (formerly known as SFLphone) zorun
restbed 4.0-4 6 1.72 A framework for asynchronous RESTful functionality in C++11 applications zorun
babeld 1.7.1-2 6 1.36 A loop-avoiding distance-vector routing protocol zorun
udrawgraph 3.1.1-5 5 0.00 The powerful solution for graph visualization zorun
ring-daemon-git 20161128-1 5 0.63 ring.cx is free software for universal communication which respects freedoms and privacy of its users (formerly known as SFLphone) zorun
libringclient-git 20161117-1 5 0.63 Client communication library for ring.cx (formerly known as SFLphone) zorun
npiet 1.3d-2 3 0.05 An interpreter for piet programs. Also includes npietedit and npiet-foogol zorun
coq-nox 8.5pl3-1 3 0.00 Formal proof management system. Headless version, without CoqIDE. zorun
tsocks-ipv6 1.8beta6-2 2 0.00 Transparent SOCKS proxying library, with IPv6 support zorun
iproute-mptcp 0.91.1-1 2 0.00 IP Routing Utilities, with Multipath TCP support zorun
egypt 1.10-1 2 0.04 A simple tool for creating call graphs of C programs zorun
bdsync 0.10-2 2 0.00 Fast block device synchronizing tool zorun
net-tools-mptcp 2:0.91.1-1 1 0.00 Configuration tools for Linux networking, with Multipath TCP support zorun
i2util 1.2-1 1 0.04 Internet2 utility tools zorun
alsa-lib-noassertion 1.1.2-1 1 0.04 An alternative implementation of Linux sound support, built without assertions zorun
advanced-strategic-command 2.6.1-1 1 0.01 A free, turn-based strategy game, designed in the tradition of the Battle Isle series from Bluebyte zorun
adanaxis-gpl 1.2.5-1 1 0.00 A deep space first-person shooter game in four spatial dimensions (GPL version, built from source) zorun

33 packages found. Page 1 of 1.