Free Downloads: Order Checking
License: All | Free
DIVINE is a tool for LTL model checking and reachability analysis of discrete distributed systems.
DIVINE is a tool for LTL model Checking and reachability analysis of discrete distributed systems. The tool is able to efficiently exploit the aggregate computing power of multiple network-interconnected multi-cored workstations in Order to deal with extremely large verification tasks. As such it allows to analyze systems whose size is far beyond the size of systems that can be...
Category: Internet / Misc. Plugins
Publisher: ParaDiSe Labs, License: Freeware, Price: USD $0.00, File Size: 14.7 MB
Platform: Windows
Dminor is a first-Order functional language with the novel combination of the ideas of refinement type and type-test. It can express a rich variety of typing idioms and has a novel type-Checking algorithm able to eliminate many dynamic tests and to detect many errors statically. The type checker uses an SMT Solver to compute subtyping efficiently.
Category: Home & Education / Miscellaneous
Publisher: Microsoft Research, License: Freeware, Price: USD $0.00, File Size: 4.6 MB
Platform: Windows
Pylint is a python tool that checks if a module satisfies a coding standard.
Pylint is a python tool that checks if a module satisfies a coding standard.Pylint is similar to PyChecker but offers more features, like Checking line-code's length, Checking if variable names are well-formed according to your
coding standard, or Checking if declared interfaces are truly implemented, and much more (see the complete check list).
Category: Software Development / Misc. Programming
Publisher: pythonxy.com, License: Freeware, Price: USD $0.00, File Size: 206.6 KB
Platform: Windows
The Gammadyne Spell Checking Module integrates with Gammadyne Corporation's Systema€‘G user interface to enable English spell Checking in any Systema€‘G edit box or HTML editor.
Main features:
- Contains over 336,000 words.
- Supports the British, American, and Canadian dialects of English. The dialect used by the spell checker is selectable in...
Category: Utilities / System Utilities
Publisher: Gammadyne Corporation, License: Freeware, Price: USD $0.00, File Size: 1.9 MB
Platform: Windows
Get it Right spell checker provides you with a handy means of Checking the spelling in Order to make sure your words are correctly typed/written. It is fully featured as well, with a large selection of dictionaries, and custom import/export dictionary support and creation. It is a useful stand-alone application that lets you easily and quickly verify the spelling of words in...
Category: Business & Finance / Word Processing
Publisher: SSuite Office Software, License: Freeware, Price: USD $0.00, File Size: 3.7 MB
Platform: Windows
Splint is a tool for statically Checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger Checking than can be done by any standard lint.
Category: Software Development / Debugging
Publisher: Splint developers., License: Freeware, Price: USD $0.00, File Size: 2.4 MB
Platform: Windows
InfoNotary e-Doc Signer is an innovative up-to-date technique for signing/checking e-documents.
InfoNotary e-Doc Signer is an innovative up-to-date technique for signing/Checking e-documents.The e-Doc Signer interface is developed as a Wizard, where the user is led through a sequence of dialogs, step by step during the entire process of signing and Checking.
Category: Utilities / Misc. Utilities
Publisher: InfoNotary, Ltd., License: Freeware, Price: USD $0.00, File Size: 7.3 MB
Platform: Windows
Free and compact e-mail checking utility
EmailChecker is a fully configurable utility that sits in your system-tray and checks your email accounts at regular intervals. It has many customizations and is updated regularly.
Category: Internet
Publisher: KGP Software, License: Freeware, Price: USD $0.00, File Size: 517.7 KB
Platform: Windows
enCIFer is a CIF checking, editing and visualisation program.
enCIFer is a CIF Checking, editing and visualisation program.
The program provides an intuitive, user-friendly interface to enable you, having completed a crystal structure refinement, to add information safely to the resultant CIF without corrupting the strict syntax.
Category: Utilities / Misc. Utilities
Publisher: The Cambridge Crystallographic Data Centre, License: Freeware, Price: USD $0.00, File Size: 26.8 MB
Platform: Windows
Gadget for checking visa requirements. .
Gadget for checking visa requirements
Category: Desktop Enhancements / Misc. Themes
Publisher: VisaHQ, License: Freeware, Price: USD $0.00, File Size: 29.0 KB
Platform: Windows
A tool for checking files stored on disk drives.
A tool for Checking files stored on disk drives. Program reads the whole disk or selected files and reports if there is a file that couldn?t be read.
Category: Utilities / File & Disk Management
Publisher: chakan.on.neobee.net, License: Freeware, Price: USD $0.00, File Size: 263.0 KB
Platform: Windows, Mac, 2K
NIST benchmark for random stream checking.
NIST benchmark for random stream Checking. Includes source and object code. Visual C++ 2008 project paramaters included. Implemets the following tests: Approximate Entropy, Block Frequency, Cumulative Sums, Discrete Fourier Transform, Linear Complexity, Longest Run Of Ones, Rank, Overlapping Template Matchings, Runs, Serial, Universal.
Category: Home & Education / Mathematics
Publisher: DiceLock.org, License: Freeware, Price: USD $0.00, File Size: 236.0 KB
Platform: Windows
Barcodes are machine-readable symbols that represent data that allows businesses worldwide to track and inventory products. There are various types of barcodes, but the most widely used are the UPC (Universal Product Code) and EAN (European Article Numbering). These standard barcodes are for the manufacturing, retail and food service industries. Programmers ensure that barcodes are error-free...
Category: Utilities / System Surveillance
Publisher: Bushin SOFTWARE, License: Freeware, Price: USD $0.00, File Size: 247.0 KB
Platform: Windows
Food Order Client is a client-server system to allow grouping food ordering.
Food Order Client is a client-server system to allow grouping food ordering. This can be very useful to Order food for your workmates.
Main features:
-easy-to-use
-user-friendly interface
-join a selected Order
-create a new Order
-user and password protected transactions
Category: Business & Finance / Business Finance
Publisher: Benoit Blanchon, License: Freeware, Price: USD $0.00, File Size: 338.0 KB
Platform: Windows
Free and fast proxy checking software.
Free and fast proxy Checking software. Supports SOCKS4/SOCKS5/HTTP/HTTPS proxies with/without authentication. Check for connect to host or load URL. Combine proxies. Proxy location (country) detection. Multithreaded. Handle redirects. Can download proxy list from the given URL. Built-in proxy distribution web server.
Category: Internet / Misc. Plugins
Publisher: Opt-In Software, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
Scan cd is a free software tool for checking your CD disks for unreadable files.
Scan cd is a free software tool for Checking your CD disks for unreadable files.This software application is easy too instal, easy to use and has a friendly user interface.Scan cd is a very useful product because it allows you to keep track of the non working cd's.
Category: Utilities / Misc. Utilities
Publisher: Pisem, License: Freeware, Price: USD $0.00, File Size: 411.5 KB
Platform: Windows
FraudLabs Credit Card Fraud Detection Desktop is a free standalone Windows application that allows instant detection of fraudulent online credit card Order transactions using Windows GUI. Users can perform 90 queries per month using Free account. Please visit http://www.fraudlabs.com for more information.
Category: Internet
Publisher: FraudLabs.com, License: Freeware, Price: USD $0.00, File Size: 612.9 KB
Platform: Windows
A little tool for checking link partners pagerank. .
A little tool for checking link partners pagerank.
Category: Internet / Tools & Utilities
Publisher: dieversteigerungskobolde.de, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows, Vista
DxLink an easy to use software tool for checking the activity on the local cluster.
DxLink an easy to use software tool for Checking the activity on the local cluster. The software can work either via radio and tnc (or sound card) or via telnet (internet). If you run it in ax25 (radio) it can be run in spy mode, you don't have to be connected.
Category: Audio / Utilities & Plug-Ins
Publisher: SM6EAT, License: Freeware, Price: USD $0.00, File Size: 799.0 KB
Platform: Windows
Trellian SpellCheck is an extremely efficient spell Checking utility that allows you to thoroughly check documents from the outside - in.
No longer do you have to open complicated text editors just to make sure there are no spelling errors.
With SpellCheck, all you need to do is use the built in browsing facility to locate a document and you will be guided...
Category: Business & Finance / MS Office Addons
Publisher: Trellian Limited, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
1. Mouse button configuration.
Now you are able to configure what mouse button and what system key (alt, shift, etc) Mouse Extender will react on.
2. Add items to ME using Drag&Drop!
You can add items to ME in a very easy and fast way - using drag&drop!
3. Tabs.
You can group items with Tabs in Order to organise them. ME always has at least one tab (by default...
Category: Utilities / Shell Extensions
Publisher: MouseExtender, License: Freeware, Price: USD $0.00, File Size: 267.0 KB
Platform: Windows
ProxyChecker - Only software, that downloads free proxy lists from network, and checks them.
ProxyChecker - Only software, that downloads free proxy lists from network, and checks them. Frequently updated list of proxy list URLs; Fully automated proxy list download and Checking; Supported proxy protocols: SOCKS4, SOCKS4A, SOCKS5, HTTP (HTTPS), WinGate-Telnet; GeoIP support; Proxy reply speed Checking (ping); Simplicity in use.
Category: Utilities / Network
Publisher: ProxyChecker.Net, License: Freeware, Price: USD $0.00, File Size: 972.8 KB
Platform: Windows
KD Check is an application for digital signature verification of archived data.
KD Check is an application for digital signature verification of archived data.This application was bulid in Order to verify a file on your computer.You can do this by clicking on the "Checking file... " button or drag the file you want to verify on the main screen of the software.
Category: Software Development / Misc. Programming
Publisher: LZAE Lumel S.A., License: Freeware, Price: USD $0.00, File Size: 436.4 KB
Platform: Windows
Collect rss feeds for checking and reading news.
Collect rss feeds for Checking and reading news. Simple in work, update rss. Work with rss1/2, Atom RSS-formats. Supports news categories, has preinstalled interesting news groups from www.press-library.com. Easy to get, easy to use. Supports work with local rss files. Number of subcategories is unlimited. Feeds update as aggregate as partial for concrete feed.
Category: Utilities / Network
Publisher: TM Services, License: Freeware, Price: USD $0.00, File Size: 1.3 MB
Platform: Windows
The Watchlist Gadget eliminates the hassles checking up on auctions.
The Watchlist Gadget eliminates the hassles Checking up on auctions. Auction data in the Watchlist Gadget is retrieved directly from the eBay database of "My eBay". Stay easily updated on auctions in the Watching section of My eBay. Automatic three-step authorization and quick access to auction pages for fast bidding. The Watchlist Gadget is one of the Pricepirates freeware...
Category: Internet / Tools & Utilities
Publisher: Buyertools Ltd. (PP), License: Freeware, Price: USD $0.00, File Size: 1.8 MB
Platform: Windows
Ursa Spell Checker has many advantages:
- Easy to install and to use.
Ursa Spell Checker has many advantages:
- Easy to install and to use.
- Ursa Spell Checker can check the spelling in many languages which dictionaries can be added.
- The dictionaries in Ursa Spell Checker are included for free.
- Replacements list with a simple mouse click.
- Replacements are sorted by the degree of closeness with the misspelled...
Category: Internet / Communications
Publisher: Ursa Soft, License: Freeware, Price: USD $0.00, File Size: 837.0 KB
Platform: Windows
How to hide IP address and keep your privacy?
How to hide IP address and keep your privacy?
Anonymous web surfing (with hidden IP) requires valid anonymous proxy server. Lookup and Checking of anonymous proxies can be very tedious and annoying task. Managing Internet Explorer proxy settings annoys even more.
Free Pick-a-Proxy Toolbar makes this process simple and funny: just click toolbar button in web browser,...
Category: Internet / Misc. Plugins
Publisher: Hide IP Pick-a-Proxy Toolbar, License: Freeware, Price: USD $0.00, File Size: 168.0 KB
Platform: Windows
WordPress Menu Order is a plugin that will simplify the process of maintaining a WordPress powered site’s navigation structure. Creating a navigation structure is a simple enough exercise in WordPress, but when it comes to the refinement of it – specifically the Order in which items should appear – you can readily see the shortcomings of the product. Yes, it is...
Category: Internet / Misc. Plugins
Publisher: badg0003, License: Freeware, Price: USD $0.00, File Size: 8.0 KB
Platform: Windows
West BriefTools is a citation-Checking and file-retrieving software application that you control from within Microsoft Word or Corel WordPerfect.
Save time. Verify and update your citations as you write your documents. In one click, KeyCite status flags and links appear next to each citation.
Category: Business & Finance / MS Office Addons
Publisher: Thomson West, License: Freeware, Price: USD $0.00, File Size: 16.2 MB
Platform: Windows
The name OCCT comes from OverClock Checking Tool.
The name OCCT comes from OverClock Checking Tool. This application will let you benchmark and overclock your system components. Here are some key features of "OCCT Preestroika": · Up to 16-core support ( for instance, up to a Quad-Kentsfield or an Octo-Conroe ) · Customizable tests ( Duration, Priority, CPU or RAM, ... ) · CPU and Motherboard detection...
Category: Utilities / System Utilities
Publisher: OCCT, License: Freeware, Price: USD $0.00, File Size: 2.0 MB
Platform: Windows, Vista
WordZ toolbar provides instant, 1-click access to Dictionary and Thesaurus definitions and spell Checking from a toolbar on your web browser. WordZ is free software that contains no adware or spyware and is published by Socket Software. It can be used and distributed as you see fit.
Category: Internet / Tools & Utilities
Publisher: Socket Software, License: Freeware, Price: USD $0.00, File Size: 490.0 KB
Platform: Windows
Those living somewhere near a Pizza Hut in the US can now order pizza from their desktop.
Those living somewhere near a Pizza Hut in the US can now Order pizza from their desktop. Pizza Hut Shortcut is an Adobe AIR application which plays nice with the Pizza Hut website. Thus, you can fire up the application and start designing how to ease that craving you had. The application is extremely easy to use. All you need to do is start an Order, select the base pizza, the...
Category: Home & Education / Miscellaneous
Publisher: National Systems Corporation, License: Freeware, Price: USD $0.00, File Size: 0
Platform: Windows
Done in Visual Basic 6 with source code that allows you to look at incoming serial port data.
Done in Visual Basic 6 with source code that allows you to look at incoming serial port data. This is useful for Checking the configuration of serial ports and Checking incoming data streams.
Category: Utilities / System Utilities
Publisher: dcsa.com.au, License: Freeware, Price: USD $0.00, File Size: 70.0 KB
Platform: Windows, 2K
Yay. . .
Category: Internet
Publisher: den fete gjengen, License: Freeware, Price: USD $0.00, File Size: 248.9 KB
Platform: Windows
LogMerger is a free program that let you merge any number of logfiles into a single file and still maintain the same chronological Order.This is useful if you?ve got a website with more than one front-end or a cluster solution with more than one web server for load-balancing reasons, and thus you?ve got more than one logfile for the same period of time. Most log analyzes programs only...
Category: Internet / Tools & Utilities
Publisher: Stefan Pettersson, License: Freeware, Price: USD $0.00, File Size: 221.0 KB
Platform: Windows
Tesco Download Manager is a free program to help you manage your purchases (and even re-download titles that get lost or damaged). To download your digital items, first locate the Order in Order History. Click the Order number or View/Change Order to view the Order details – this is where you can download your digital items from. To download an item...
Category: Internet / Download Managers
Publisher: Tesco, License: Freeware, Price: USD $0.00, File Size: 461.9 KB
Platform: Windows
With RVL Drive Scanner, you can scan drives or folders.
With RVL Drive Scanner, you can scan drives or folders. And in addition to determining the total number of folders and files in a particular drive or folder, the application also displays the number of normal, hidden, and system files and folders. This display and the display of the current path can be turned off if you are only interested in Checking paths for CD or DVD recording. This...
Category: Utilities / File & Disk Management
Publisher: RVL Soft, License: Freeware, Price: USD $0.00, File Size: 431.5 KB
Platform: Windows
Despite the name, XPBench is not really designed to be a skinning benchmark program (we suggest checking out programs like SkinBench for that).
Category: Utilities / Optimizers & Diagnostics
Publisher: stardock.com, License: Freeware, Price: USD $0.00, File Size: 236.0 KB
Platform: Windows
Commerce Server Order schema manager is a custom tool to extend Commerce Server Order Schema.
Commerce Server Order schema manager is a custom tool to extend Commerce Server Order Schema. Commerce Server Order schema is represented through an xml file name OrderObjectMapping.xml. Extending the schema is accomplished by modifying the xml file manually.
Category: Web Authoring / Web Design Utilities
Publisher: SATHISH CG, License: Freeware, Price: USD $0.00, File Size: 392.5 KB
Platform: Windows
HeavyLoad is intended to stress all resources of a PC (like CPU, GPU, RAM, hard disk, operating system, etc.) in Order to test if it will run reliably under heavy load. This is useful for testing important file or database servers before using them productively, or just for Checking if your new PC might get too hot when used intensively. To stress your PC or server, HeavyLoad...
Category: Utilities / System Surveillance
Publisher: JAM Software GmbH, License: Freeware, Price: USD $0.00, File Size: 14.8 MB
Platform: Windows
Defpix - Defective (dead) pixels tester is a free program that can help you with Checking for defective pixels on your LCD screen. The program simply shows these colors - red, green, blue, white and black - over the whole surface of the screen. Defpix requires no installation and supports multiple monitor systems.
Category: Utilities / Optimizers & Diagnostics
Publisher: Michal Kokorceny, License: Freeware, Price: USD $0.00, File Size: 918.1 KB
Platform: Windows, Other
AmoK SFV Utility is a small tool for creating and checking .
AmoK SFV Utility is a small tool for creating and Checking .sfv files. SFV stands for "Simple File Verification" and is a standard for describing a checksum for a file list. With a sfv file you can easily check if a download (of multiple files) is complete or if files are missing or files are damaged. AmoK SFV Utility creates and checks .sfv files. In contrast to most other...
Category: Utilities / File & Disk Management
Publisher: AmoK - The Art of Coding, License: Freeware, Price: USD $0.00, File Size: 371.0 KB
Platform: Windows
FlashSFV is a tool that allows you to open and create SFV files, verifying them and determining if you have corrupt parts, in addition to which parts are bad or missing.
Simple file verification (SFV) is a file format for storing checksums of files in Order to verify the integrity of files. SFV can be used to detect random corruptions in a file, but should not be used for...
Category: Multimedia & Design / Graphics Viewers
Publisher: Charles DeWeese, License: Freeware, Price: USD $0.00, File Size: 369.5 KB
Platform: Windows
MOST Radar is a tool for analyzing MOST networks, such as Checking MOST network configuration, verifying node properties, or inspecting allocation status. This network analysis tool is able to support mixed NIC and INIC MOST networks. Access to the MOST network is accomplished via OptoLyzer G2, OptoLyzer Professional, OptoLyzer Standard Plus, MOST PCI Tool Kit ( and MOST PCI Board,...
Category: Internet / Misc. Plugins
Publisher: SMSC, License: Freeware, Price: USD $0.00, File Size: 4.6 MB
Platform: Windows
Check unlimited URLs on TOP 3 Search Engines – Google, Yahoo, Bing!
Check unlimited URLs on TOP 3 Search Engines – Google, Yahoo, Bing! Save Results as Indexed, Not Indexed, Error (which got error on Checking search engine index)! Never get banned by search engine! Unlimited proxy support! Proxies can be checked by our software if they are working, no worries about dead proxies! Multithreading, YOU control speed of Checking, just add more...
Category: Internet / Web Search Utilities
Publisher: IndexBear, License: Freeware, Price: USD $0.00, File Size: 413.2 KB
Platform: Windows
GlobalSpellChecker is a tool for Checking spelling or meaning of words from any application using Microsoft Word. It displays the meaning or spelling suggestion in a non-disturbing way so that you do not have to shift from the application you are working. You can copy the word to be checked to Clipboard by pressing Ctrl+C and invoke GlobalSpellChecker using hotkey Ctrl+Alt+S. When...
Category: Business & Finance / Applications
Publisher: ShaPlus Software, License: Freeware, Price: USD $0.00, File Size: 86.0 KB
Platform: Windows
SpellCode is multiprogramming language support - source code spell Checking utility for Microsoft Windows operating systems. SpellCode can understand the source code syntax of all the major programming languages, analyzes the source code intelligently and ignores all the tags, symbols and other application specific identifiers. With help of it's easy to use interface you can easily...
Category: Utilities / Misc. Utilities
Publisher: Dilshan R Jayakody, License: Freeware, Price: USD $0.00, File Size: 3.1 MB
Platform: Windows
This program allows you to port a current GC method to another while ensuring that relative retention Order is maintained, that is, peaks elute in the same Order. If you are thinking of speeding up an analysis or are simply changing detectors (for example, from an FID to an MSD), use the method translator to yield a perfectly scaled version of the original. Rapidly predict...
Category: Multimedia & Design / Multimedia App's
Publisher: Agilent, License: Freeware, Price: USD $0.00, File Size: 2.9 MB
Platform: Windows
Quick and easy to use one page order form (shopping cart).
Quick and easy to use one page Order form (shopping cart). Perfect solution for wholesale companies. Integrated with PayPal, GoogleCheckout. HTML + JavaScript based. Direct from MS Excel. Free version limited up to 2 categories and up to 10 products.
Category: Web Authoring / Site Management
Publisher: Shopping cart software RapidShop, License: Freeware, Price: USD $0.00, File Size: 390.0 KB
Platform: Windows,
VT Hash Check adds a Windows Explorer context menu item to compute the MD5 hash checksum of any file and to then send that checksum for Checking against their Virus database.
By default, only the MD5 hash is computed. The MD5 hash algorithm is vulnerable to theoretical collisions and has been recommended to be avoided for cryptographic functions requiring a high level of security.
Category: Security & Privacy / Other
Publisher: Boredom Software, License: Freeware, Price: USD $0.00, File Size: 1.9 MB
Platform: Windows