Thunder From Down Under Tour

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...

Multi Webcam Video Recorder is an excellent free webcam recording tool that can capture video stream from multiple webcams plugged in your computer and save to seperated files directly to your local disk. It is completely free. The video files are saved in Windows Media Format that can be...

RFC::RFC822::Address is a Perl module for RFC 822 style address validation. SYNOPSIS use RFC::RFC822::Address qw /valid/; print "Validn" if valid abigail@example.com; This module checks strings to see whether they are have the valid syntax, as defined in RFC 822 [1]. One subroutine,...


Platforms: *nix

reclinker is a recursive symlinking utility. The project mirrors a hierarchy of files by means of symlinks. The program has a linker, a deleter and a test mode. By default its in linker mode. It gets into deleter mode if its invoked as recdeleter, and into test mode if its invoked as...


Platforms: *nix

Gwyddion is a modular program for SPM (scanning probe microscopy) data visualization and analysis. Primarily it is intended for analysis of height fields obtained by scanning probe microscopy techniques (AFM, MFM, STM, SNOM/NSOM), however it can be generally used for any other height field and...


Platforms: Linux

Ten easy-to-learn virtual 3D dice games in one! Play Yahtsie (like Yahtzee), Triple Yahtsie, Crag, Yacht, Kizmet, Balut, Scandinavian Yahtsie, Shut the Box (FREE), Pig (ALSO FREE) and Action Dice. - Fixed a bug that prevented iDice from working under Snow Leopard.


Platforms: Mac

Version 1.3.5: It is now possible to move/rearrange multiple connections at once Reachability checking is now more intelligent for established connections Saved credentials are now associated with a connection, rather than a server address Viscosity will now correctly detect when a private...


Platforms: Mac

Rivatuner is the leading tweak utility available for NVIDIA GeForce and ATI Radeon based videocards. Rivatuner has been updated towards version 2.24: RivaTuner is a complete powerful tweaking environment, providing you everything you may need to tune NVIDIA GPU based display adapters. The widest...


Platforms: Windows

Free FlipBook Creator (Pro) Themes Pack- Graze (Professional Shopping Catalog theme templates) Graze is a theme organizes 4 templates and then packages them to facilitate the process of building flash flipbook. It collects 4 images contains common people and sheep which look fabulous. The...


Platforms: Windows

TwitterSifu support (tested) both latest standard WordPress and WordPress MU.TwitterSifu is a plugin designed to tweet whenever you publish a new post and also your older posts to get more traffic. As for the older posts the plugin will randomly picks your older post based on the interval...


Platforms: PHP

What is the most favorite holiday in the whole year? Of course it is Christmas Holiday! We have a wonderful new free Christmas Window Screensaver for you. Quality graphics and musical festive accompaniment will pleasantly surprise you. You will see a lot of snowflakes that completely cover the...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Linux From Scratch (LFS) is a project that provides you with the steps necessary to build your own custom Linux system. There are a lot of reasons why somebody would want to install an LFS system. The question most people raise is "why go through all the hassle of manually installing a Linux...


Platforms: *nix

Inspired from the Jules Vernes novel, Twenty thousand leagues under the sea. Professor Pierre Aronnax, his assistant Conseil and the harpoonist Ned Land are captured by Captain Nemo, who travels the world's oceans on board the Nautilus submarine.Although impressed by the beauty of the seabed, our...


Platforms: Mac

From Japan to Barcelona, racks full of vibrant clothes and lifelike models await in Jojo’s Fashion Show: World Tour. Mother and daughter designers, Jojo and Rosalind Cruz, have finally earned a name in the fashion world. Now Ros is leaving the nest to pursue her own dreams and Jojo must find a...


Platforms: Windows

Two third of the Earth surface are covered by the water. Strange creatures live their mistique lifes concealed from human eyes under the sea. Look at them straight from your desktop with Under the Sea Slideshow.


Platforms: Windows

Beyond Linux From Scratch or BLFS in short, is a project that continues where the LFS book finishes. It assists users in developing their systems according to their needs by providing a broad range of instructions for installing and configuring various packages on top of a base LFS system. Why...


Platforms: *nix

Inactive Shut Down Control is a hidden Microsoft Access form that can be opened in your application to keep track of periods of user inactivity. When the period of inactivity exceeds a specified limit, a warning message appears, and the application shuts down. It is easy to use, just import a...


Platforms: Windows, Other

Create modern menu for your website with PalmPre style absolutely free using jQuery CSS Drop Down Menu. Select one of 6 color schemes. You don't need to have any design skills, know HTML, JavaScript, CSS, flash or any other coding, no photoshoping and image editing. Use ready to use jQuery CSS...


Platforms: Windows, Mac, Unix, Linux

This CSS Menu Drop Down Maker is an advanced tool that creates css menu dropdown menus on your website without JS/CSS hand coding. Css menu generator has an intuitive GUI and extensive library of professional-designed css menu dropdown templates. Css menu drop down maker generate light-weight,...


Platforms: Windows

Countdown to the beginning of the Rolling Stone's Tour 2005. Now you can count down the remaining time!Anticipate this exciting event.


Platforms: Windows