abstract technology graphic

Microsoft Research Special Projects

工具

2023年9月

We present a dataset of distributed ener…

Github for Continental United States Distributed Energy Resources (DER) Dataset

2021年12月

ShowWhy is an interactive application th…

Github for ShowWhy

2021年5月

As computing systems are more frequently…

Github for DoWhy: A library for causal inference

2021年3月

Generates synthetic data and user interf…

Github for Synthetic data showcase

2021年1月

Lean 4 programming language and theorem …

Github for Lean 4

2020年9月

OneFuzz enables continuous developer-dri…

Github for OneFuzz

2020年5月

The vOW4SIKE project provides C code tha…

Github for vOW4SIKE

2020年2月

ElectionGuard is an open source software…

Github for ElectionGuard

2018年5月

Lean is a functional programming languag…

Github for Lean interactive theorem prover