Ports Search

The Common Lisp HyperSpec (TM) from LispWorks Ltd. This is an HTML document derived from the ANSI Common Lisp standard (X3.226-1994), with permission from ANSI and NCITS (previously known as X3). The Common Lisp HyperSpec was prepared by Kent Pitman at Harlequin, who as Project Editor of X3J13 managed the completion of the document which became the ANSI Common Lisp Standard. Copying, distribution, display, and/or transmission is by permission of LispWorks Ltd.

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. Alt-Ergo is compact, safe, and modular. Each component is described by a small set of inference rules and is implemented as an Ocaml functor.

pixilate parses an input file containing Cisco PIX 6.2x (normal mask) or Cisco IOS (inverted mask) access-list entries and generates the appropriate packets. For further information on writing PIX access-lists, look here, for information on writing IOS access-lists, look here. pixilate - is currently capable of generating TCP/UDP/ICMP (various ICMP types), and IGMP utilizing the Libnet 1.1.x library available from http://www.packetfactory.net. NOTE: Libnet 1.0.x is NOT compatible."

Based on the work of rdesktop, xrdp uses the remote desktop protocol to present a GUI to the user. The goal of this project is to provide a fully functional Linux terminal server, capable of accepting connections from rdesktop and Microsoft's own terminal server / remote desktop clients. Unlike Windows NT/2000/2003 server, xrdp will not display a Windows desktop but an X window desktop to the user. Xrdp uses Xvnc or X11rdp to manage the X session.

Based on the work of rdesktop, xrdp uses the remote desktop protocol to present a GUI to the user. The goal of this project is to provide a fully functional Linux terminal server, capable of accepting connections from rdesktop and Microsoft's own terminal server / remote desktop clients. Unlike Windows NT/2000/2003 server, xrdp will not display a Windows desktop but an X window desktop to the user. Xrdp uses Xvnc or X11rdp to manage the X session.

This tool removes blocks of 0x00 from files by replacing them with phantomblocks. That way, a file uses less diskspace while its contents hasn't changed at all! BEWARE: after copying these files with tar, cp, cpio or any other tool, the phantomblocks have been replaced with 0x00-blocks again! EXAMPLE: find / -type f -print | xargs -n 1 phantom -r -i This would go trough the whole harddisk, scan all files and generate 0x00-blocks where necessary.

The xcb-util module provides a number of libraries which sit on top of libxcb, the core X protocol library, and some of the extension libraries. These experimental libraries provide convenience functions and interfaces which make the raw X protocol more usable. Some of the libraries also provide client-side code which is not strictly part of the X protocol but which have traditionally been provided by Xlib. Image module is a port o Xlib's XImage and XShmImage functions.

The xcb-util module provides a number of libraries which sit on top of libxcb, the core X protocol library, and some of the extension libraries. These experimental libraries provide convenience functions and interfaces which make the raw X protocol more usable. Some of the libraries also provide client-side code which is not strictly part of the X protocol but which have traditionally been provided by Xlib. Renderutil module s Convenience functions for the Render extension.

This is a neat cd-player for those of you who don't use X11 and still want to play audio cds.

libmusicbrainz is a client library for accessing the MusicBrainz database allowing metadata lookup for audio files. This is version 3.x which uses the deprecated XML Web Service Version 1.