Category
page 1Microsoft Research
F#
Microsoft programming language
Microsoft Research
research division of Microsoft Corporation
Singularity
operating system
Midori
operating system
Lean
software for interactive and automated theorem proving
WorldWide Telescope
astronomy software
LiveStation
Livestation was a platform for distributing live television and radio broadcasts over a data network. It was originally developed by Skinkers Ltd. and is now an independent company called Livestation Ltd. The service was originally based on peer-to-peer technology acquired from Microsoft Research. Between mid-June 2013 and mid-July Livestation was unavailable to some subscribers due to technical issues.
CNTK
free, easy-to-use, open-source, commercial-grade toolkit that trains deep learning algorithms to learn like the human brain
Xiaoice
Xiaoice (, IPA ) is an AI system developed by Microsoft (Asia) Software Technology Center (STCA) in 2014 based on an emotional computing framework. In July 2018, Microsoft Xiaoice released the 6th generation.
so.cl
So.cl (pronounced "social") was a social networking service and social search engine operated by Microsoft FUSE Labs. They announced on March 7, 2017 that it would be closing down So.cl on March 15, 2017.
PhotoDNA
PhotoDNA is a proprietary image-identification and content filtering technology widely used by online service providers. Although the design of the algorithm has never been publicly disclosed, a leaked software library that implements it became accessible through a repository on GitHub in 2021.
F*
functional programming language inspired by ML and aimed at program verification
AWM–Microsoft Research Prize in Algebra and Number Theory
research honor for women
Microsoft Comic Chat
graphic IRC client by Microsoft
Barrelfish
experimental computer operating system
Microsoft Research Image Composite Editor
freeware
IllumiRoom
thumbnail|IllumiRoom proof-of-concept; on the screen Red Eclipse
IllumiRoom is a Microsoft Research project that augments a television screen with images projected onto the wall and surrounding objects. The current proof-of-concept uses a Kinect sensor and video projector. The Kinect sensor captures the geometry and colors of the area of the room that surrounds the television, and the projector displays video around the television that corresponds to a video source on the television, such as a video game or movie.
Gazelle
web browser
Kodu Game Lab
educational programming language
MyLifeBits
MyLifeBits was a life-logging experiment begun in 2001. It is a Microsoft Research project inspired by Vannevar Bush's hypothetical Memex computer system. The project includes full-text search, text and audio annotations, and hyperlinks. The "experimental subject" of the project was computer scientist Gordon Bell, and the project tried to collect a lifetime of storage on and about Bell. Jim Gemmell of Microsoft Research and Roger Lueder were the architects and creators of the system and its software.
HomeOS
HomeOS was the working title of a home automation operating system being developed at Microsoft Research in the early 2010s. Microsoft Research announced the project in 2010 and abandoned it in 2012.