Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
A React component library for representing application histories using the redux-dag-history (opens in new tab) middleware.
These are test images for developing and evaluating background subtraction for computer vision. There are seven sequences of images, and each sequence comes from a video.
Facet Key shows the most frequent entities of various types across an entire document collection. Selecting an entity of interest filters and highlights linked visuals in ways that enable document collections to be analyzed systematically,…
This is the data released with the CHI 2017 paper: As We May Ink? Learning from Everyday Analog Pen Use to Improve Digital Ink Experiences. It contains the 493 entries of a diary study with…
CCI provides a rich infrastructure for working with .NET Assemblies: generating them from source, or rewriting them.
Phlat is a new interface for Windows Desktop Search, enabling search through a user’s own e-mail, files, and viewed Web pages. Phlat makes it easy for users to specify queries and filters, attempting to integrate…
This program is for use with the LaTeX pf and pf2 packages. It makes the symbolic labels of proof steps the same as the printed step numbers.
Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with…
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
