An index of datasets, SDKs, APIs and other open source code created by Microsoft researchers and shared with the broader academic community. We also maintain a collection highlighting some of the tools you’ll find here.
Freeform Vector Graphics
An interactive authoring system that builds on thin-plate splines to enable a richer class of vector graphics. The user sketches a variety of curves and points to intuitively control color interpolation within the resulting image.
FORMULA
FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types (ADTs) and strongly-typed constraint logic programming (CLP), which support concise…
Data Set of English-Spanish Term Vectors from Wikipedia
This data set consists of the term vectors extracted from 60,730 Wikipedia English articles and their comparable Spanish articles, sampled in 2009. We used this data set to test various models for creating translingual document…
NCBI BLAST on Windows Azure
A parallel BLAST engine that runs on the Windows Azure cloud fabric, NCBI BLAST on Windows Azure can scale up to hundreds of compute nodes. This cloud-based implementation of the National Center for Biotechnology Information…