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.