マイクロソフトリサーチ
C# - プログラミング言語。
Polyphonic C# / Cω - プログラミング言語。
Spec# / Sing# - プログラミング言語。
Bartok(英語版) - OSのカーネル開発にも使えるほど効率的なコンパイラおよび実行環境。
Singularity - オペレーティングシステム。
Bigtop / Gridline - 分散システムの疎に結合したコンポーネントを開発するためのフレームワーク。
F# - プログラミング言語。
Wallop - ソーシャル・ネットワーキング・サービス。
BitVault - 分散ストレージプラットフォーム。
Allegiance(英語版)- コンピュータゲーム。
SXM
Avalanche - P2Pネットワーク。
MyLifeBits
Microsoft SenseCam
Group Shot