Ports Search

go.crypto contains additional packages dealing with cryptography for Go, such as bcrypt, blowfish, openpgp and ssh.

Asynch HttpClient is a HTTP/1.1 compliant HTTP agent implementation based on HttpCore NIO and HttpClient components. It is a complementary module to Apache HttpClient intended for special cases where ability to handle a great number of concurrent connections is more important than performance in terms of a raw data throughput.

The HttpCore components implement the most fundamental aspects of the HTTP protocol. They are nonetheless sufficient to develop basic client-side and server-side HTTP services with a minimal footprint and no external dependencies. The HttpCore base module contains the public API and the default implementation based on the Java classic (blocking) I/O model. It requires a Java 1.3 compatible runtime and has no dependency on any external libraries. HttpCore NIO extensions contain optional components that leverage the event driven, non-blocking I/O (NIO) model. HttpCore NIO extensions require a Java 5.0 compatible runtime and the HttpCore base module. HttpCore NIO extensions are intended for those usage scenarios where raw throughput is less important than the ability to handle thousands of simultaneous HTTP connections in a resource efficient manner.

wmblob is a pretty much useless program, that shows moving blobs. It's a nice dockapp for Window Maker (www.windowmaker.org), and it may well run with other window mangers. How to use it: Just start it. There are no command line options. You can change the colors with the three mouse buttons: - Left button: changes the inner color of the blobs. - Middle button: changes the border color of the blobs. - Right button: changes the background color. There are 16 colors available. But not every combination looks good.

xvt - an xterm replacement, supporting color, transparency, and more, with less! xvt, simply continues on the original authors work -- John Bovey, University of Kent at Canterbury. With few exceptions, it does everything Xterm does. But also does a great deal more, with less overhead. This version will also leverage vt(4), FreeBSD's new console driver. Which replaces syscons(4).

A very artistic X window manager. Among other attributes, Enlightenment makes for quite impressive screen shots.

libfakekey is a simple library for converting UTF-8 characters into 'fake' X key-presses.

sxhkd is a simple X hotkey daemon with a powerful and compact configuration syntax.

XMangekyou is a kaleidoscope on X. You can see many, many, many kaleidoscope patterns.

From the website: Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for theories. Coq is distributed under the GNU Lesser General Public Licence Version 2.1 (LGPL). CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.