Ports Search

This library implements the Atlas protocol, for use in client-server game applications. This library is suitable for linking to either clients or servers.

Netscape Portable Runtime (NSPR) provides a platform-neutral API for system level and libc like functions. The API is used in the Mozilla client, many of Netscape/AOL/iPlanet's and other software offerings.

A workbench for combinatorial computing, and standard sets of data that can be used for benchmark tests of competing methods by Donald Knuth. Also includes demonstration programs and games that make use of the data. Gerald Pfeifer <gerald@FreeBSD.org>

The SMV (Symbolic Model Verifier) system is a tool for checking finite state systems against specifications in the temporal logic CTL (Computational Tree Logic). One specifies the finite state system (finite automaton, Mealy machine, full adder circuit, ..) as a Kripke structure in the SMV language and provides specifications in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications.

libftdi1 - A library (using libusb) to talk to FTDI's FT2232C, FT232BM and FT245BM type chips including the popular bitbang mode. Note: When you get a -5 error "can't claim usb device" during ftdi_usb_open(), make sure the kernel ftdi_sio driver is unloaded.

CVSspam emails you diffs when a change is committed to your CVS repository. These HTML mails hyperlink to further details and use styling to emphasise information structure.

GNU pth is a user mode multi threading library. pthsem is an extend version, with support for semaphores added. It can be installed parallel to a normal pth. The header file is called pthsem.h, the configuration program pthsem-config and the autoconf macro AC_CHECK_PTHSEM. If references to one of these names are changed, pthsem can be used as an replacement of GNU pth.

Akismet is a web service for recognising spam comments. It promises to be almost 100% effective at catching comment spam. They say that currently 81% of all comments submitted to them are spam. It's designed to work with the Wordpress Blog Tool, but it's not restricted to that - so this is a Python interface to the Akismet API. You'll need a Wordpress Key to use it. This script will allow you to plug akismet into any CGI script or web application, and there are full docs in the code. It's extremely easy to use, because the folks at akismet have implemented a nice and straightforward REST API.

Cog transforms files in a very simple way: it finds chunks of Python code embedded in them, executes the Python code, and inserts its output back into the original file. The file can contain whatever text you like around the Python code. It will usually be source code.

The gSOAP Web services development toolkit offers an XML to C/C++ language binding to ease the development of SOAP/XML Web services in C and C/C++. Most toolkits for C++ Web services adopt a SOAP-centric view and offer APIs that require the use of class libraries for SOAP-specific data structures. This often forces a user to adapt the application logic to these libraries. In contrast, gSOAP provides a transparent SOAP API through the use of proven compiler technologies. These technologies leverage strong typing to map XML schemas to C/C++ definitions. Strong typing provides a greater assurance on content validation of both WSDL schemas and SOAP/XML messages.