htrosbif is a tool that actively probes an HTTP server. It prods the Web server in all sorts of old, new, basic, fancy, spec-compliant, and spec-breaking ways. It tries to characterize both the well-spoken educated responses and the seriously deviant babble it receives in return. Signatures contain no user data, only header names and HTTP-level quirks. As a useful side effect, this might detect reverse proxies, HTTP load balancers, intrusion prevention systems, and Web application firewalls.
se is a screen-oriented version of the classic UNIX text editor ed. The editor implements many of the commands of ed, but instead of being line-oriented, se is screen-oriented. The command syntax is very familiar to users who already know ed. If you get stuck, there is a built-in help system that describes many of the available commands. Many configurable options can be loaded from a .serc file. se can be run interactively or in a script via the included scriptse utility. The editor is portable across many platforms, supporting major Linux and BSD distributions as well as other systems like GNU, Minix, Haiku, OpenSolaris, and Cygwin.
ChangeBlindness is a small game that demonstrates the change blindness phenomenon. The effect shows that our brains have a low-level (i.e. subconscious) change detection capability that can be disabled pretty easily (for instance, with a flicker of around 100ms). The game illustrates this using an increasing number of icons, one of which will change during a flicker. The goal of the game is to find the changing icon as quickly as possible.
BDDs [bry86] (or more precisely ROBDDs) are efficient data structures for representing a boolean formula. They are widely used in formal verification, in particular symbolic model-checking. Ruby- BDD, based on Buddy, provides access to BDDs from Ruby, a powerful and very easy to use object-oriented language. The purposes are quick prototyping and education.
tmin is a quick and simple tool to minimize the size and syntax of complex test cases in automated security testing. It is meant specifically for dealing with unknown or complex data formats (without the need to tokenize and re-serialize testcases), and for easy integration with UI testing harnesses.
nPush is a logic game somewhere in between Sokoban and Boulder Dash. You need to collect all the gold on the level and reach the exit. To make it hard there are some rocks that stand in your way, and you also have some dynamite to blast them. The main difference from similar games is that you can have multiple player-controlled characters on the screen.