Freeware: Proof

 
All | Mobile
Download  Proof  Substitute for the Humdrum Toolkit 0.3.1

Proof Substitute for the Humdrum Toolkit 0.3.1 Reimplementation of the Proof command from the Humdrum toolkit inReimplementation of the Proof command from the Humdrum toolkit in


Advertisements

 

Freeware
Download
367.5 KB

DC Proof 2.0 What is DC Proof? - Free, PC-based educational software - Logic-checking software provides instant feedback as you enter every line of Proof - Includes interactive tutorial that introduces the standard methods of Proof using simple examples andWhat is DC Proof? - Free, PC-based educational software - Logic-checking software provides instant feedback as you enter every line of Proof - Includes interactive tutorial that introduces the standard methods of Proof using simple examples and

Freeware
Download
2.8 MB

Cosmic Proof 1.0 Cosmic Proof is an amazing 3D arcade game where you will have to pilot your space ship in order to defend your planet against alien hordes that want to invade it. It comes with 4 different difficulty levels, novice, experienced, professional andCosmic Proof is an amazing 3D arcade game where you will have to pilot your space ship in order to defend your planet against alien hordes that want to invade it. It comes with 4 different difficulty levels, novice, experienced, professional and

Freeware
Download
19.8 MB

Trigger-Proof 1.0 Help your child avoid conflict and learn how to deal with a bully, The 12 Tools Trigger- Proof teaches are invaluable skills that can be used throughout life in trying circumstances.Help your child avoid conflict and learn how to deal with a bully, The 12 Tools Trigger- Proof teaches are invaluable skills that can be used throughout life in trying circumstances.

Freeware
Download
17.3 MB

Collectors Proof 1.0.0 Collectors Proof gives you & your friends a unique way to tag and share stories about your favorite things. You can even transfer items between owners and continue the story. * How It Works...Collectors Proof gives you & your friends a unique way to tag and share stories about your favorite things. You can even transfer items between owners and continue the story. * How It Works...

Freeware
Download
6.4 MB

Proof Wiki 1.0  Proof Wiki is a math proofs and definitions wiki (complete with images) that does not require an internet connection to work. The content comes from the great folks at proofwiki. Proof Wiki is a math proofs and definitions wiki (complete with images) that does not require an internet connection to work. The content comes from the great folks at proofwiki.

Freeware
Download
22.8 MB
Download Spy Proofing Your Computer 1.0

Spy Proofing Your Computer 1.0 Learn how to Spy Proof your computer in 4 easy steps!Scam Prevention Removal Of Hardware Keyloggers Removal Of Adware Removal Of Surveillance Spy SoftwareLearn how to Spy Proof your computer in 4 easy steps!Scam Prevention Removal Of Hardware Keyloggers Removal Of Adware Removal Of Surveillance Spy Software

Freeware
Download
179.4 KB
Download CONTACTUS 1.00

CONTACTUS 1.00 Contactus is a professional, spammer- Proof contact form for your website. Free version has advertising links, commercial version does not. Contactus is a professional, spammer- Proof contact form for your website.Contactus is a professional, spammer- Proof contact form for your website. Free version has advertising links, commercial version does not. Contactus is a professional, spammer- Proof contact form for your website.

Freeware
Download
3.0 KB
Download Coq 8.0

Coq 8.0 \Formal Proof management system for mathematics. Developed in the LogiCal project, the Coq tool is a formal Proof management system: a Proof done with Coq is mechanically checked by the machine.\Formal Proof management system for mathematics. Developed in the LogiCal project, the Coq tool is a formal Proof management system: a Proof done with Coq is mechanically checked by the machine.

Freeware
Download
11.2 MB
Download 1 ST-3D Casino Las Vegas 2008

1 ST-3D Casino Las Vegas 2008 The Casino Las Vegas software is using state of the art security features to provide its players with a 100% full Proof secured environment.The Casino Las Vegas software is using state of the art security features to provide its players with a 100% full Proof secured environment.

Freeware
Download
245.8 KB
Download Casino Las Vegas - Extra Edition 6.2007

Casino Las Vegas - Extra Edition 6.2007 Casino Las Vegas - Extra edition is using state of the art security features to provide its players with a 100% full Proof secured environment.Casino Las Vegas - Extra edition is using state of the art security features to provide its players with a 100% full Proof secured environment.

Freeware
Download
245.8 KB
Download Blue Cirrus Casino 2.1

Blue Cirrus Casino 2.1 The Cirrus Casino software is using state of the art security features to provide its players with a 100% full Proof secured environment.The Cirrus Casino software is using state of the art security features to provide its players with a 100% full Proof secured environment.

Freeware
Download
133.1 KB
Download Car Bill of Sale 2.1

Car Bill of Sale 2.1 The auto bill of sale form is a Proof of ownership transfer between a seller and a buyer. The car bill of sale is needed for insurance among other things. The car bill of sale is especially common in used cars sale.The auto bill of sale form is a Proof of ownership transfer between a seller and a buyer. The car bill of sale is needed for insurance among other things. The car bill of sale is especially common in used cars sale.

Freeware
Download
112.6 KB
Download Cirrus Casino BOLC 1.2v181

Cirrus Casino BOLC 1.2v181 The Cirrus Casino software is using state of the art security features to provide its players with a 100% full Proof secured environment.The Cirrus Casino software is using state of the art security features to provide its players with a 100% full Proof secured environment.

Freeware
Download
133.1 KB
Download Cirrus Casino BOLC 1.2v181

Cirrus Casino BOLC 1.2v181 The Cirrus Casino software is using state of the art security features to provide its players with a 100% full Proof secured environment.The Cirrus Casino software is using state of the art security features to provide its players with a 100% full Proof secured environment.

Freeware
Download
133.1 KB
Download Casino Las egas - $400 FREE! 2007 V

Casino Las egas - $400 FREE! 2007 V The Casino Las Vegas software is using state of the art security features to provide its players with a 100% full Proof secured environment.The Casino Las Vegas software is using state of the art security features to provide its players with a 100% full Proof secured environment.

Freeware
Download
245.8 KB
Download Avalog:  Proof  Generator 1.0

Avalog: Proof Generator 1.0 Avalog is a free open source software for automatic Proof (test, evaluation) generationAvalog is a free open source software for automatic Proof (test, evaluation) generation

Freeware
Download
4.6 MB
Download Binomial Compression 1.0

Binomial Compression 1.0 A lossless data compressor. It is a Proof of concept for some ideas IA lossless data compressor. It is a Proof of concept for some ideas I

Freeware
Download
15.9 KB
Download DSL Engine 0.0.1

DSL Engine 0.0.1 Metaprogramming: Proof of theMetaprogramming: Proof of the

Freeware
Download
58.7 KB
Download Firewall Punch Demo 1.0

Firewall Punch Demo 1.0 A Proof -of-concept Java client and server to illustrate the UDP firewall punching technique used by Skype and similarA Proof -of-concept Java client and server to illustrate the UDP firewall punching technique used by Skype and similar

Freeware
Download
13.4 KB
Download Interrogate 0.0.4

Interrogate 0.0.4 Interrogate is a Proof -of-concept tool for identification of cryptographic keys in binary material. First and foremost for memory dump analysis and forensics usageInterrogate is a Proof -of-concept tool for identification of cryptographic keys in binary material. First and foremost for memory dump analysis and forensics usage

Freeware
Download
33.3 KB
Download Microgrid Market 0.6.2

Microgrid Market 0.6.2 Mircrogrid market is a Proof -of-concept implementation of a combinatorial heat and power double auction exchangeMircrogrid market is a Proof -of-concept implementation of a combinatorial heat and power double auction exchange

Freeware
Download
33.0 MB
Download Million Musician Challenge 1.0

Million Musician Challenge 1.0 This project is a Proof of concept for the use of video games as an alternative to traditional methods of music teaching, particularly for boysThis project is a Proof of concept for the use of video games as an alternative to traditional methods of music teaching, particularly for boys

Freeware
Download
13.9 KB
Download SilMod rc

SilMod rc SilMod is a bullet- Proof JK2 admin mod that incorporates all the old admin commands, a 3-tier admin system, player statistics and rankings, and optional automatic "anti-laming" in an easy to use and stableSilMod is a bullet- Proof JK2 admin mod that incorporates all the old admin commands, a 3-tier admin system, player statistics and rankings, and optional automatic "anti-laming" in an easy to use and stable

Freeware
Download
4.1 MB
Download SpamFryer 1.0

SpamFryer 1.0 SpamFryer is a Proof of concept Java application to make multiple visits to a spammers websiteSpamFryer is a Proof of concept Java application to make multiple visits to a spammers website

Freeware
Download
9.0 KB
Download SPID Statistical Protocol IDentification 0.4.6

SPID Statistical Protocol IDentification 0.4.6 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 etcA 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

Freeware
Download
830.9 KB
Download TDWG RDF Browser 1.0

TDWG RDF Browser 1.0 A testing and Proof of concept tool for querying multiple Internet data sources (primarily RDF) using various TDWG endorsedA testing and Proof of concept tool for querying multiple Internet data sources (primarily RDF) using various TDWG endorsed

Freeware
Download
2.9 MB
Download vb2java 1.0

vb2java 1.0 VB2JAVA is a Proof -of-concept about programming languageVB2JAVA is a Proof -of-concept about programming language

Freeware
Download
69.1 KB

ParrotPhone 2.4 Parrot Phone is demonstrating the Proof of concept and viability of Video & VoIP (Voice over Internet Protocols) There are various ways that people can benefit from having a Parrot Phone accountParrot Phone is demonstrating the Proof of concept and viability of Video & VoIP (Voice over Internet Protocols) There are various ways that people can benefit from having a Parrot Phone account

Freeware
Download
1.7 MB
Download C -like iostream syntax in Python 1.0

C -like iostream syntax in Python 1.0 This script represents a very simple Proof -of-concept of an ostreams-like interface wrapping around file-like objects, included a demonstration of manipulators.This script represents a very simple Proof -of-concept of an ostreams-like interface wrapping around file-like objects, included a demonstration of manipulators.

Freeware
Download
All | Mobile

Related Freeware