Microsoft Research Special Projects

工具

加载中…

Continental United States Distributed Energy Resources (DER) Dataset 

2023年9月

We present a dataset of distributed ener…

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

ShowWhy 

2021年12月

ShowWhy is an interactive application th…

Github 为 ShowWhy

DoWhy: A library for causal inference 

2021年5月

As computing systems are more frequently…

Github 为 DoWhy: A library for causal inference

Synthetic data showcase 

2021年3月

Generates synthetic data and user interf…

Github 为 Synthetic data showcase

Lean 4 

2021年1月

Lean 4 programming language and theorem …

Github 为 Lean 4

OneFuzz 

2020年9月

OneFuzz enables continuous developer-dri…

Github 为 OneFuzz

vOW4SIKE 

2020年5月

The vOW4SIKE project provides C code tha…

Github 为 vOW4SIKE

ElectionGuard 

2020年2月

ElectionGuard is an open source software…

Github 为 ElectionGuard

Lean interactive theorem prover 

2018年5月

Lean is a functional programming languag…

Github 为 Lean interactive theorem prover