Ports Search

Popular WebDAV framework for PHP. Use it to create WebDAV, CalDAV and CardDAV servers. It supports a wide range of internet standards related to these protocols. The most relevant are: WebDAV CalDAV CardDAV vCard 2.1, 3.0, 4.0 and jCard iCalendar 2.0 and jCal current-user-principal Extended MKCOL WebDAV-sync CardDAV directories CalDAV delegation CalDAV sharing

SHTTPD is small, fast and easy to use web server. It supports CGI, SSL, Digest Authorization. The unique feature of SHTTPD is the ability to embed it into existing C/C++ applications. Embedded API is very clean and simple. SHTTPD has small memory footprint. Use it when other web servers like Apache are too heavy for your tasks.

This program analyses logfiles in both the common log format and NCSA old format from WWW servers. It is designed to be fast on long logfiles and to produce attractive statistics. It was written by Stephen Turner (sret1@cam.ac.uk). For more details, see the Readme.html in ${PREFIX}/share/doc/analog or the website.

UdmSearch is a full featured SQL-based search engine for intranet or small domain Internet web servers. You can also use it to build specialized search engines such as cooking recipies or searching newspaper articles. Provides pre-built web search frontends in C (via CGI) and PHP.

HttpFox monitors and analyzes all incoming and outgoing HTTP traffic between the browser and the web servers. It aims to bring the functionality known from tools like HttpWatch or IEInspector to the Firefox browser. Information available per request includes: - Request and response headers - Sent and received cookies - Querystring parameters - POST parameters - Response body

HTTPie (pronounced aych-tee-tee-pie) is a command line HTTP client. Its goal is to make CLI interaction with web services as human-friendly as possible. It provides a simple http command that allows for sending arbitrary HTTP requests using a simple and natural syntax, and displays colorized responses. HTTPie can be used for testing, debugging, and generally interacting with HTTP servers.

This gem is a C binding to the excellent YAJL JSON parsing and generation library. Features: * JSON parsing and encoding directly to and from an IO stream (file, socket, etc) or String. Compressed stream parsing and encoding supported for Bzip2, Gzip and Deflate. * Parse and encode multiple JSON objects to and from streams or strings continuously. * JSON gem compatibility API - allows yajl-ruby to be used as a drop-in replacement for the JSON gem * Basic HTTP client (only GET requests supported for now) which parses JSON directly off the response body *as it's being received* * ~3.5x faster than JSON.generate * ~1.9x faster than JSON.parse * ~4.5x faster than YAML.load * ~377.5x faster than YAML.dump * ~1.5x faster than Marshal.load * ~2x faster than Marshal.dump

trivial-features ensures consistent *FEATURES* across multiple Common Lisp implementations. For example, on MacOS X platforms, while most Lisps push :DARWIN to *FEATURES*, CLISP and Allegro push :MACOS and :MACOSX instead, respectively. Some Lisps might not push any feature suggesting MacOS X at all. trivial-features will make sure all Lisps will have :DARWIN in the *FEATURES* list when running on MacOS X. This package is compiled with SBCL.

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.