Prove

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been... Platforms: *nix

nwcc is a small C compiler for Unix systems that I wrote in my freetime, for fun and to prove to myself that I could. I started the project in August 2003, but because I had a job and a life and a few other hobby code projects, it took me until autumn 2005 to make it work with various constructs... Platforms: *nix

Demo toolbar for Internet Explorer (IEDemoToolbar) will prove useful for Delphi developers as a framework for their own toolbars. It will also provide example home page actions and various menus or buttons and even search form as well as Page Info. Platforms: Windows

Reverse lookup phone numbers Updating your old address book can prove to be difficult, with lots of numbers outdated, and friends moved away. Getting all of your numbers back and figuring out how to get all of the new ones can prove to be trickier then you thought. That is why so many people are... Platforms: Windows

This software shall enable users to send / receive denyable messages: Nobody can prove a message is from / for a specific user. Messages can be made private (by using password) or are public. All messages have an expiration time/date / event Platforms: Windows, Mac, Linux

JDBC Tester is a software that allows to prove JDBC connections and SQL statements. The central idea is to have a software that is used for the design of statements and learning SQL with an graphical user interface simple to use. Platforms: Windows, Mac, Linux

The purpose of this program is to prove that given a finite number of Monkeys and a finite amount of time one monkey will be able to make more money off the stock market than any human being. Checkout our web site for an uncorrupted download. Platforms: Windows, Mac, Linux

FCB Regal Shootout Are you ready to prove who the best basketball shooter is? With FCB Regal Shootout, you will have both of your passions in your computer: Barca and basketball. HOW TO PLAY Click on the ball and dr Platforms: Mac

Easily log the percentage of your laptop battery, monitor it over the discharge and recharge period to see if the battery spikes at all - if a battery jumps largely (up or down) it can be the signs of a bad battery. Very handy to have to prove a faulty battery. This program can scan and... Platforms: Windows

This module can prove time saving when multiple sites require similar nodes. 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

Using CAPTCHA forms (or keyword validation), like the VVC contribution can prove to be difficult for those customers that don't pay close attention to instructions!What this Does: Filters all the terms that are commonly found in spam emails and stops the form submission until the spammy terms are... Platforms: Windows, *nix, PHP, BSD

It can prove useful when the article is not presented in full size on the homepage.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 1.2 or higher Platforms: Windows, Mac, *nix, PHP, BSD Solaris

The post revisions can prove unnecessary and take a lot of database space.Installation Unpack and upload it to the /wp-content/plugins/ directory. Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 2.6 or higher Platforms: Windows, Mac, *nix, PHP, BSD Solaris

This is a small project aiming to prove a theory that grids can be solved using only the "possible value" method, whereby the numbers are filled in according the condition that that position has only one possible value, in filling this in, possible values matching this number on the same x and y... Platforms: C and C plus plus

The attached ZIP file contains a tutorial for using the SonnetLab Toolbox for MATLABdlT«. SonnetLab is a free MATLABdlT« toolbox that enables users to control and automate Sonnet's 3D planar electromagnetic simulator.This tutorial will mimic the design approach used to design the double stub... Platforms: Matlab

This helps keeping track of QA tasks that need to be done.It can prove very useful in situations when someone takes over the SEO tasks on a website they did not build. This module can give them an idea on what has already been done and what is still missing.A date stamp is also displayed next to... Platforms: PHP

It can prove useful in scenarios when there is a large number of blocks with names that cannot be changed.InstallationUnpack in your modules folder (usually '/sites/all/modules/')Enable under Administer > Site Building > Modules. Platforms: PHP

This module's purpose is to prove that such an implementation is feasible.Installation:Unpack in your modules folder (usually '/sites/all/modules/')Enable under Administer > Site Building > Modules Platforms: PHP

JSSpamBock is an effective way to reduce comment spam without your commenters even knowing. Users without javascript can prove their identity by simply entering a given number. In browsers without javascript, the user is simply asked to enter a number to prove they are human.installation : The... Platforms: PHP

User Queue is a module which is functionally quite similar to Nodequeue. It allows you to create multiple queues, add users to them, and order the users within the queue. Queues can have a maximum number of items, or be unlimited.In addition to the administrative pages for adding, removing, and... Platforms: PHP