close-up image of interlocking gears turning with a rainbow gradient overlay

Research Tools: code, datasets, & models

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.

Current selections

Sort by: Most recent

Clear selections

Search within these results

Published Date

Dataset Source Code

Coyote

Coyote is a programming framework for building reliable asynchronous software. Coyote ensures design and code remain in sync, dramatically simplifying the addition of new features. Coyote comes with with a systematic testing engine that allows…

GitHub Video Project

Dataset Source Code

RoomAlive Toolkit Download

The RoomAlive Toolkit is an open source SDK that enables developers to calibrate a network of multiple Kinect sensors and video projectors. The toolkit also provides a simple projection mapping sample that can be used…

GitHub

Dataset Source Code

Echo density measure for acoustic impulse responses

Reference implementation and test synthetic data for “Sorted Center Time” echo density measure for acoustic impulse responses

GitHub Publication

Dataset Source Code

AirSim Drone Racing VAE Imitation

This repository provides a code base to evaluate and train models from the paper “Learning Visuomotor Policies for Aerial Navigation Using Cross-Modal Representations”.

GitHub Video Video Project Project Publication

Dataset Source Code

Kuku

Kuku is a simple open-source (MIT licensed) cuckoo hashing library developed by the Cryptography and Privacy Research group at Microsoft. Kuku is written in modern standard C++ and has no external dependencies, making it easy…

GitHub

Dataset Source Code

Randomized Smoothing of All Shapes and Sizes

This library implements the algorithms in our paper for computing robust radii for different smoothing distributions against different adversaries.

GitHub Publication

Dataset Source Code

Transformer-XH

Multi-Evidence Reasoning with Transformer eXtra Hop Attention

GitHub Publication

Dataset Source Code

mai: mathematics interpreter with standard foundations

mai is a free and open-source tool for computer-assisted mathematics. It includes a comprehensive coverage of the language of mathematics and its ‘standard’ foundations; namely, first-order logic and the Zermelo–Fraenkel axioms of set theory with Choice. Syntactic sugar for computer-assisted mathematics is…

GitHub

Dataset Source Code

horc: lightweight Horn-clause interpreter

horc is a free and open-source tool for programming with Horn clauses. Horn clauses are the core of Prolog and logic programming in general. horc is an extension to Prolog’s interpreter implementing a sound and complete search procedure that fully respects their logical…

GitHub

Dataset Source Code

Microsoft TensorFlow2 GNN Library

TensorFlow 2 library implementing Graph Neural Networks.

GitHub Project Publication