Think you're the dominant species of this planet?
This Mac application helps you prepare for your SAT.
A little application to help you use Visualhub when your away from your computer
The Alloy Analyzer is based on the new SAT-based model finder Kodkod.
SATé is a package for inferring a sequence alignment and phylogenetic tree.