Get Avast Free Antivirus, our award-winning protection for all
Get advanced privacy protection beyond antivirus software
Avast Free Antivirus protects your computer against viruses and malware, and it helps you protect your home network against intruders.
Free Download
Get Paid for Web Surfing
CryptoTab Browser—an innovative browsing solution, combining the edgiest web technologies with the unique built-in mining algorithm.
Try CryptoTab—the world's first browser with mining features. Earn bitcoin without looking up from watching videos, chatting, or gaming online. Join the community of more than 20 million users all over the world already enjoying CryptoTab Browser.
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.
For Individuals or organizations that need secure remote access via VPN
We help companies keep their networks and Internet connections secure. Our VPN service adds an extra layer of protection to secure your communications. We do this by applying strong encryption to all incoming and outgoing traffic so that no third parties can access your confidential information. Protect your organization against security breaches. Secure remote team access. Simplify business network security. Access region-specific online content from anywhere in the world
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
Frobots is a programmer's robot game. Bots run user-supplied code and fight each other in a two-dimensional arena. Frobots is developed in OCaml and distributed under the GNU General Public License.