PicoSAT is a satisfiability (SAT) solver for boolean variables in
boolean expressions. A SAT solver can determine if it is possible to
find assignments to boolean variables that would make a given set of
expressions true. If it's satisfiable, it can also show a set of
assignments that make the expression true.
Many problems can be broken down into a large SAT problem (perhaps with
thousands of variables), so SAT solvers have a variety of uses.
This is inspired by Julien Schmidt's httprouter, in that it uses a patricia
tree, but the implementation is rather different. Specifically, the routing
rules are relaxed so that a single path segment may be a wildcard in one route
and a static token in another. This gives a nice combination of high
performance with a lot of convenience in designing the routing patterns. In
benchmarks, httptreemux is close to, but slightly slower than, httprouter.
Sqlninja is a tool targeted to exploit SQL Injection vulnerabilities on
a web application that uses Microsoft SQL Server as its back-end.
Its main goal is to provide a remote shell on the vulnerable DB server,
even in a very hostile environment. It should be used by penetration
testers to help and automate the process of taking over a DB Server when
a SQL Injection vulnerability has been discovered.
This module takes a list of documents (in English) and
builds a simple in-memory search engine using a vector
space model. Documents are stored as PDL objects, and
after the initial indexing phase, the search should be
very fast. This implementation applies a rudimentary
stop list to filter out very common words, and uses a
cosine measure to calculate document similarity.
All documents above a user-configurable similarity
threshold are returned.
Bicom is a data compressor in the PPM family. It is freely available and
Open Source. Its most unique characteristic is that compression with
bicom is completely bijective -- any file is a possible bicom output that
can be decompressed, and then recompressed back to its original form. Of
course, any file is also a possible bicom input that can be compressed,
and then decompressed back to its original form. To support encryption
applications, bicom also includes a passphrase-protection option that
will automatically encrypt after compressing, or decrypt before
decompressing.
Ghostess is a graphical DSSI host, based on jack-dssi-host, but
capable of saving and restoring plugin configuration, as well as
specifying MIDI channels and layering synths. ghostess includes
three MIDI drivers: an ALSA sequencer MIDI driver, a (clumsy but
functional) CoreMIDI driver (which allows ghostess to be used on
Mac OS X), and a JACK MIDI driver for use with the MIDI transport
in recent versions (>=0.102.27) of JACK. ghostess also comes with
a universal DSSI GUI, which attempts to provide GUI services for
any DSSI or LADSPA plugin, and may be used with any DSSI host.
Class::DBI provides a convenient abstraction layer to a database.
It not only provides a simple database to object mapping layer, but can
be used to implement several higher order database functions (triggers,
referential integrity, cascading delete etc.), at the application level,
rather than at the database.
This is particularly useful when using a database which doesn't support
these (such as MySQL), or when you would like your code to be portable
across multiple databases which might implement these things in
different ways.
ClanLib delivers a platform independent interface to write games with. If a
game is written with ClanLib, it should be possible to compile the game under
any platform (supported by ClanLib, that is) without changes in the application
source code.
But ClanLib is not just a wrapper library, providing an common interface to
low level libraries such as DirectX, Svgalib, X11, GGI, etc. While platform
independency is ClanLib's primary goal, it also tries to be a service-minded
game SDK. In other words, authors have put great effort in to designing the API,
to ensure ClanLib's easy of use - while maintaining it's power.
ClanLib delivers a platform independent interface to write games with. If a
game is written with ClanLib, it should be possible to compile the game under
any platform (supported by ClanLib, that is) without changes in the application
source code.
But ClanLib is not just a wrapper library, providing an common interface to
low level libraries such as DirectX, Svgalib, X11, GGI, etc. While platform
independency is ClanLib's primary goal, it also tries to be a service-minded
game SDK. In other words, authors have put great effort in to designing the API,
to ensure ClanLib's easy of use - while maintaining it's power.
ClanLib delivers a platform independent interface to write games with. If a
game is written with ClanLib, it should be possible to compile the game under
any platform (supported by ClanLib, that is) without changes in the application
source code.
But ClanLib is not just a wrapper library, providing an common interface to
low level libraries such as DirectX, Svgalib, X11, GGI, etc. While platform
independency is ClanLib's primary goal, it also tries to be a service-minded
game SDK. In other words, authors have put great effort in to designing the API,
to ensure ClanLib's easy of use - while maintaining it's power.