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...

Have you ever tried to prove your copyright on images? It is very easy to do with this powerful image watermarking tool! ReaWatermark applies your watermarks to multiple files to protect your copyright. ReaWatermark simplifies the process of creating and applying watermark to multiple image files...

Imagine the Unthinkable. You're sitting on a beach and you get a phone call from your neighbor. Your house just burned down. Will you be able to: (1.) Remember every item in your home? (2.) Remember what you paid for each of these items? (3.) Be able to locate documents & prove ownership? (4.)...


Platforms: Windows, Windows 7

You have the power to do whatever you can imagine and i'll prove it to you with the our SubliminalEzy program. SubliminalEzy uses the same power of subliminals that scientists have known about for years. The mind responds to subconscious signals that you don't notice. So now you can...


Platforms: Windows

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

When there is a need to convert GroupWise to Exchange, considering Kernel for GroupWise to Exchange can prove to be very beneficial. Kernel for GroupWise to Exchange efficiently converts all items of GroupWise user mailboxes including emails, contacts, calendars, sent items, documents, checklist,...


Platforms: Windows

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

When there is a need to convert GroupWise to Exchange, considering GroupWise to Exchange migration software can prove to be very beneficial. GroupWise to Exchange migration software efficiently converts all items of GroupWise user mailboxes including emails, contacts, calendars, sent items,...


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

Whether you are developing a new PostgreSQL database application from the ground up or prototyping to prove a concept, you need test data to run your application against. To test an application’s performance effectively, you should have enough test data to expose potential database performance...


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

Want to prove your talent on Hand-brain coordination? Just challenge this game. In a world without gravity, you will bump into various monsters on your way to destination. Use your fingers as the motor engine and steering wheel, and drive as f


Platforms: Mac

Travel across Europe as king of the road, a trucker who delivers important cargo across impressive distances! With dozens of cities to explore from the UK, Belgium, Italy, the Netherlands, Poland, and many more, your endurance, skill and speed will all be pushed to their limits. If you've got...


Platforms: Windows

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