microsoft Goto Github PK

aliveinlean

Formally verified implementation of Alive in Lean

alta

This is the Azure Load Testing Agent repo.

ambaribasedhadoopexporter

Exporter based on Hadoop clusters that use Ambari as their administrative tool, leveraging Ambari API to export cluster's metrics.

ambrosia

Robust Distributed Programming Made Easy and Efficient

americas-power-platform-global-black-belts

amf0

General-purpose encoder and decoder for amf0

aml-acceleration-template

A template repository for quickly adopting Azure Machine Learning

aml-pipelines-demo

aml_interpret_usecases

AML Interpret usecases demo

amlfilesystem-hydrator

Hydrate a Lustre namespace from an Azure storage account.

amlfilesystem-lustre

Lustre Repository with MS patches

amlfilesystem-tools

Lustre diagnostic tools for running Lustre in Azure

amlsdkrmodelsoperationalization

Operationalize R models at scale using Python via Azure ML SDK

amlworkshop

Student Materials for MTC Azure ML Workshop

amos

[ICLR 2022] Pretraining Text Encoders with Adversarial Mixture of Training Signal Generators

amplify

Utility to extend any bash command

amrl-iclr2020

Code for AMRL: Aggregated Memory For Reinforcement Learning published at ICLR 2020 (https://iclr.cc/virtual_2020/poster_Bkl7bREtDr.html). The research is focussed on ignoring noise and irrelevant features in RL agents with memory.

analysis-framework-for-tvm

Static analysis framework for analyzing programs written in TVM's Relay IR.

analysis-services

Git repo for Analysis Services samples and community projects

anantharekha

Generates varieties of images of randomized but semantically correct technical diagrams like flow charts and state diagrams. These images can be used to train NNs that perform image segmentation tasks.

ance

A novel embedding training algorithm leveraging ANN search and achieved SOTA retrieval on Trec DL 2019 and OpenQA benchmarks

android-app-size-diff

Android app size measuring in your CI

angara

Angara: the modelling environment https://www.microsoft.com/en-us/research/project/distribution-modeller

angara.chart

Allows to define and display a chart as a collection of plots such as line, band, markers, heatmap. Supports visualization of uncertain values represented as quantiles.

angara.flow

A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.

angara.serialization

An extendible library for serialization of an arbitrary objects to JSON format extended with type information to facilitate interoperability between .NET and JavaScript platforms.

angara.statistics

A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.

angara.table

A library that contains types for table representation and operations to manipulate with tables, as well as save and load them from text files such as CSV files.

angle

ANGLE: OpenGL ES to DirectX translation

angular-react

Use React components inside Angular