The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

Delphi Spell Checker - unique spell checking Delphi add-in tool for Delphi (a Delphi wizard/Expert) that enables you to check spelling in any and all of your forms, hints, strings, captions, memos and text, in eighteen languages, all right in your Delphi 5-7 IDE.

Software toolkit includes HTML syntax validation, link checking, spell checking, image optimization, Meta tag management, search and replace, page date stamping, and more for Windows Web site developers

Reliable FTP and HTTP file download manager. Restart, scheduling, file search, site speed test, proxy support, dialup, virus checking.

NTA Europe's leading Internet Security Testers.

F-CRC Home Page

Maintain an electronic record of a checking account, including automatic withdraws. [NA]

Manage checking, savings, credit cards and prepare for taxes.

A toolbar which offers virtual desktop management, Email checking, scheduler, clipboard enhancement, hotkeys, and screen capture.

Tool for checking C source code before compilation.