Hides

KeY is usable as a white-box-testing tool. This means that KeY can create JUnit test cases from proofs (or proof attempts) based on the information obtainable from the proof tree. Since a proof tree in KeY is basically a symbolic execution tree it can provide valuable information such as...

This extension hides your bookmark toolbar until you drag your mouse above it, this will provide you with more space on your screen and a simpler user interface. ATTENTION: Suggestions for the upcoming default hotkey are very welcome! BUG WORKAROUND: To work around the bug of the empty toolbar,...

SELinux Policy Editor(seedit) is a tool to make SELinux easy. It is composed of Simplified Policy and its tools. The main feature is Simplified Policy. Simplified Policy hides detail of SELinux.


Platforms: *nix

Very suitable and reliable way to store your sensitive data in encrypted and invisible form. Creates virtual encrypted disk located on any storage device (even in the network) and hides it from unauthorized curious eyes. Main features: Advanced Encryption Standart (AES), On-The-Fly encryption,...


Platforms: Windows

The "TS Lock Privacy Suite" has four main components: (1) Password protects your files. TS Lock hides and encrypts your files from prying eyes. (2) Protects your Favorites/Bookmarks. You can keep a private list of your favorite websites inside TS Lock. (3) Sweeps your Internet Traces....


Platforms: Windows

CursorHider is a utility to hide the cursor after several seconds of inactivity. The next time the cursor is moved, it will reappear automatically. Use CursorHider in conjunction with video or presentation software or anytime you want the mouse cursor to automatically hide when not in use.


Platforms: Mac

4t Tray Minimizer lets you running applications minimized as System Tray icons, which helps in adjusting free space on your taskbar. To minimize any application to the task bar, simply left click the minimize button as usual or press keyboard shortcut. You can configure 4t Tray Minimizer to...


Platforms: Windows

A logic game. The game has got two modes: a single mode (a computer places and hides chesspieces for you) and a network mode. In last one you can play with somebody else through a net, by placing your chesspieces for your opponent and guessing his variants. The winner's who will guess...


Platforms: Windows

Symantec’s Norton Personal Firewall 2004 keeps hackers out and personal data in. Malicious Internet users are constantly looking for new ways to take control of your PC or steal your private information. Norton Personal Firewall works on multiple levels to defend against those threats. Right...


Platforms: Windows

The new free software from Shareq.com, Kazaa capture, tunnels your Internet activity through SOCKS4 SOCKS5 proxy servers to hide your IP address, and grant you security and anonymity for free. The free tool from Shareq.com can hook up any SOCKS5 client including Kazaa, mIRC, peer-to-peer client,...


Platforms: Windows

Cryptainer LE is a totally free 448-bit disk encryption software. Simple, easy to use encryption application that creates encrypted 'vaults'. One can store any kind of data in them. Cryptainer LE Free Encryption Software allows you to encrypt any file or folder on any Windows PC. Protects all...


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

The job of your Securepoint PC Firewall & VPN is to protect a PC from unwelcome access from the outside and to protect your personal data thereby. Protecting the PC from attacks from the Internet is the most important field of application today. The Securepoint PC Firewall represents the...


Platforms: Windows

There are lot of software that fights against viruses and spy modules which are doing attacks to your PC from Internet. However, there are some times when spy may stand on your side of screen behind you. Sometimes it is safe, but sometimes you can work with important information that you do not...


Platforms: Windows

CellNet is a multi function program designed to speed up, play and simplify access to the most common files in Windows. It hides at the top of the desktop ready to be pulled down, giving the user full control. Something like a much larger version of windows start menu, however, that's where the...


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

What does it do and what is it good for? AdKiller Daemon is a PopUp Killer; in other words: it closes those ad windows which open automatically while we are surfing. The program has about 400 pre-determined sites, and the user can configure them and add others. Immediate closure of these windows...


Platforms: Windows

If your computer is ATX (which most now are) then this program can be used to automatically shutdown your computer. This can be useful if you are setting your computer to do something when you are not there e.g. Encoding Mp3s or downloading. You can set the program to turn your computer with 3...


Platforms: Windows

True Launcher is a simple, easy to use program launcher. True Launcher allows you to combine your shortcuts into groups, helps to free the desktop from numerous icons, folders, and files by moving them to the True Launcher start panel. This panel automatically hides when it is inactive and pops...


Platforms: Windows

Free P2P Surfing. Primedius delivers anti-snoop private/secure surfing. Even ISPs or network admins can't track or block sites you visit. Secures/anonymizes messaging, chat, and socks. Encrypted proxy channels between your computer and Primedius secure servers ensure total privacy, mask IP....


Platforms: Windows

Playing Master Mind requires logical thinking. The computer sets up a code of colored pegs and hides it behind the white circles on top of the board (duplicates are allowed, so even all pegs of the same color might be possible). The aim is to break the code in eight or less guesses. Clicking on...


Platforms: Any Browser

Thunderbird-Tray is a "system tray launcher / minimize to system tray" application developed for Mozilla Thunderbird. It hides Thunderbird when you minimize the main Thunderbird window or when you double click the Thunderbird-Tray tray icon. Double clicking the icon again will re-show the main...


Platforms: Windows