rahulku Goto Github PK

azure-pipelines-agent

Azure Pipelines Agent

azure-webjobs-sdk-samples

Microsoft Azure WebJobs SDK Samples

calculator

Windows Calculator: A simple yet powerful calculator that ships with Windows

dotnet

This repo is the official home of .NET on GitHub. It's a great starting point to find many .NET OSS projects from Microsoft and the community, including many that are part of the .NET Foundation.

edgeml

This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.

isola2016-k

issue-label-bot

Code For The Issue Label Bot, an App that automatically labels issues using machine learning, available on the GitHub Marketplace. This is also code for the blog article: "How to automate tasks on GitHub with machine learning for fun and profit"

kani

Kani Rust Verifier

kani-github-action

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

kani-vscode-extension

Kani VSCode Extension

kanitest

test repository for testing Kani/Rust

static-module-verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.

terminal

The new Windows Terminal, and the original Windows console host -- all in the same place!

test1

typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

vscode

Visual Studio Code