Microsoft Research Special Projects

ツール

読み込み中…

Continental United States Distributed Energy Resources (DER) Dataset 

9月 2023

We present a dataset of distributed ener…

Github 対して Continental United States Distributed Energy Resources (DER) Dataset

ShowWhy 

12月 2021

ShowWhy is an interactive application th…

Github 対して ShowWhy

DoWhy: A library for causal inference 

5月 2021

As computing systems are more frequently…

Github 対して DoWhy: A library for causal inference

Synthetic data showcase 

3月 2021

Generates synthetic data and user interf…

Github 対して Synthetic data showcase

Lean 4 

1月 2021

Lean 4 programming language and theorem …

Github 対して Lean 4

OneFuzz 

9月 2020

OneFuzz enables continuous developer-dri…

Github 対して OneFuzz

vOW4SIKE 

5月 2020

The vOW4SIKE project provides C code tha…

Github 対して vOW4SIKE

ElectionGuard 

2月 2020

ElectionGuard is an open source software…

Github 対して ElectionGuard

Lean interactive theorem prover 

5月 2018

Lean is a functional programming languag…

Github 対して Lean interactive theorem prover