Random Posts
- 27.02.2014 - 0 CommentsACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System…
17.08.2017 - 1 CommentsTails protects you in a number of ways. First, since all your traffic is routed through Tor, it's incredibly difficult to track your physical location or see which sites you visit. Tails doesn't use a computer's hard disk, so nothing you do is…- 27.10.2009 - 0 CommentsCherokee HTTP Server is a cross-platform Web server. It aims to be fast and fully-functional while remaining lightweight compared to alternative servers. It is written entirely in C. It is embeddable and extensible with plugins. Released under the…
17.07.2011 - 0 CommentsPida is an IDE, but one that is slightly different from other IDEs. Rather than attempting to write a set of development tools of its own, Pida uses tools that the developer has available. In this regards Pida can be used as a framework for…
21.08.2008 - 0 CommentsDebian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian uses the Linux kernel (the core of an operating system), but most of the basic OS tools…
12.02.2012 - 0 Comments8ATHVE6SHJSB
17.02.2011 - 0 CommentsSecurity of data in transit over the Internet becomes increasingly necessary because of steadily growing data volume and importance. Nowadays, every user of a public network sends various types of data, from email to credit card details daily, and…- 11.09.2014 - 0 CommentsSparkyLinux is a lightweight, fast and simple Linux distribution disigned for both old and new computers featuring customized Enlightenment and LXDE desktops. It has been built on the “testing” branch of Debian GNU/Linux. Available for i486 and…
- 01.09.2009 - 0 CommentsK-Yamo is a mp3-Tagger.It is able to clean-up complete diricetories with an easy to use filtersystem. News: 11.August 2009 If files tags get changed, or files get deleted the playlist updates its contents, and always shows actual…
- 29.03.2014 - 0 CommentsThe Cambridge University Centre for Computational Chemistry groups theoretically-minded members of the Cambridge Department of Chemistry in premises on the recently refurbished third floor of the Department. Around 50 members, comprising staff,…
