Ports Search

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.