Microsoft Research Blog

Microsoft Windows

  1. pfnum: LaTeX Proof-Step Renumbering 

    January 5, 2017

    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.

  2. Pex – Automated Whitebox Testing for .NET (32 bit) 

    January 5, 2017

    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 high code coverage.

  3. Dafny 

    January 2, 2017

    Dafny is a verification-aware programming language.

  4. MSR FastRDFStore Package – Data Release 

    January 2, 2017

    This data release is part of the MSR FastRDFStore Package (https://github.com/Microsoft/FastRDFStore/) and includes the last dump of Freebase, as well as the processed version ready to load directly into FastRDFStore.

  5. Open Solving Library for ODEs 

    January 2, 2017

    C# library that implements algorithms for the numerical solution of ordinary differential equations. The library incorporates .NET desktop and Silverlight builds.

  6. Microsoft Hyperlapse Mobile 

    November 22, 2016

    Microsoft Hyperlapse Mobile creates smooth and stabilized time lapses from first-person videos using a Windows Phone or Android device.

  7. Microsoft Pix 

    November 22, 2016

    With this new, intelligent camera app for your iphone, you can enjoy life's moments instead of struggling to capture them.

  8. Static Module Verifier 

    September 8, 2016

    Static Module Verifier technology enables full module analysis using Microsoft Azure.

  9. Project Malmo on GitHub 

    July 12, 2016 | Katja Hofmann

    Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presented by this unique environment.

  10. Essex PBI Base 

    June 20, 2016 | Chris White

    A collection of libraries to assist in the creation of PowerBI custom visuals. Projects Visual Utils (visual-utils) - A collection of utilities the development of powerbi custom visuals. Visual Settings (visual-settings) - A library to parse and enumerate powerbi visual settings. Visual Testing Tools (visual-testing-tools)…

  11. LatticeCrypto 

    May 27, 2016

    LatticeCrypto is a high-performance and portable software library that implements lattice-based cryptographic algorithms. The first release of the library provides an implementation of lattice-based key exchange with security based on the Ring Learning With Errors (R-LWE) problem using new algorithms for the underlying Number Theoretic…

  12. Diverse Algebra Word Problem Dataset with Derivation Annotations 

    May 25, 2016

    This dataset provides training and testing examples for solving algebra word problems automatically. It consists of over 2000 algebra word problems. Each word problem is annotated with the full derivation (template + alignments) of the relevant equations from the word problem. Please refer to the…