Fool Proof

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

SpamFryer is a proof of concept Java application to make multiple visits to a spammers website. Theoretically this would create higher traffic on such sites resulting in higher costs for their operations.

A proof-of-concept application of the Statistical Protocol IDentification (SPID) algorithm. SPID can detect the application layer protocol (layer 7) by analysing flow (packet sizes etc.) and payload statistics (byte values etc.) from pcap files.


Platforms: Windows, Mac, Linux

Lunar Electric Rover is a proof of concept Lunar Electric Rover simulator, designed by Frassanito and Associates, in conjunction with Petter Sundness, Rommany Allen, and Chilton Webb. This simulator is based around NASA's Constellation Program architecture. It lets you drive the LER around on the...


Platforms: Mac

This script represents a very simple proof-of-concept of an ostreams-like interface wrapping around file-like objects, included a demonstration of manipulators.Although theation of treams model does not make it necessary, it is quite easy to make a wrapper around file-like objects that behaves...


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This module offers just a proof of concept starting point for other developers.InstallationUnpack in your modules folder (usually /sites/all/modules/) and enable under Administer > Site Building > Modules. Requirements: - Drupal 5.x


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Visitors must use obfuscated javascript to submit a proof-of-work that indicates they opened the website in a web browser, not a robot.If the javascript check fails, WP Hashcash gives three options; it can either put the comment into moderation (default), put the comment in the akismet queue, or...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

ObsceneClean is a project to create a profanity filter. At this time the goal is to create a proof of concept algorithm, in other words get the code to a point where the fundamental idea behind the algorithm is proved to be workable.


Platforms: PHP

You can now use this plugin to increase your SEO! The GHTime service now provides a link back to your blog whenever a new code is created. Since all the GHTime codes are indexed with Google, this will provide crucial backlinks to your site which will increase your rankings on Google and other...


Platforms: PHP

A proof-of-concept using BuddyPress' built-in activity streams as discussion forums. Not available yet. Stay tuned.


Platforms: PHP

Provides integration between for the Plupload widget to upload multiple files and Drupal. Plupload is a GPL licensed multiple file uploading tool that can present widgets in Flash, Gears, HTML 5, Silverlight, BrowserPlus, and HTML4 depending on the capabilities of the client computer.This is a...


Platforms: PHP

Edit CSS in real time from within your browser! great for themers looking to cut down on their Drupal themeing time, preventing you from constantly switching between IDEs, this is true WYSIWYG. Please note that this module should not be used on a developed site, use in a local or development...


Platforms: PHP

Rules Web Hooks allows Drupal sites to exchange remote events. It integrates seamlessly with Rules and relies on WSClient for remote communication.The module is the successor of Rules web, a proof of concept module.


Platforms: PHP

Internet Blackout NZ is an event in protest of changes to copyright laws in NZ that require ISPs disconnect any user accused of copyright infringement, with or without proof. During the week starting February 15, many Twitter and Facebook users blacked out their avatars in a joint protest against...


Platforms: PHP

Notice: This module was previously abandoned but I'm going to be taking over development and hope to have something workable soon.Enables editing of content or settings from the same page via popups.This was the beginning of a full rewrite of the Active edit formerly included in javascript Tools,...


Platforms: PHP

An experimental integration between CouchDB and Drupal.Note: this module is a proof of concept / experiment. If you want to help either jump in the issue queue or contact me directly.


Platforms: PHP

This module use the global Solace API filter form to enable site-wide search form using the filter UI. It's able of replacing the old legacy Search core module, even use its own forms if enabled.It does do a full usage of Solace API filter form, including the Quick search toolbar feature added...


Platforms: PHP

The OFF System for content storage and retrieval, lets you store all digital content and allows only the people authorized to use it to do so. It is the proof of concept for 'bright nets' and will allow anyone to securely share digital data legally.


Platforms: Mac

mousikos is a GUI based portable audio player file manager. It is designed to be able to support various types of portable music players connected through the parallel port or a USB port. It currently does not support any existing players. A fake player mimicked by a directory on the hard disk...


Platforms: *nix

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.


Platforms: *nix