Pinned Repositories
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.
kaniTest
test repository for testing Kani/Rust
rahulku's Repositories
rahulku/kaniTest
test repository for testing Kani/Rust
rahulku/azure-pipelines-agent
Azure Pipelines Agent
rahulku/azure-webjobs-sdk-samples
Microsoft Azure WebJobs SDK Samples
rahulku/calculator
Windows Calculator: A simple yet powerful calculator that ships with Windows
rahulku/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.
rahulku/EdgeML
This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.
rahulku/isola2016-k
rahulku/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"
rahulku/kani
Kani Rust Verifier
rahulku/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
rahulku/kani-vscode-extension
Kani VSCode Extension
rahulku/rust-lean-models
Lean models of Rust libraries
rahulku/Static-Module-Verifier
Static Module Verifier technology enables full module analysis using Microsoft Azure.
rahulku/terminal
The new Windows Terminal, and the original Windows console host -- all in the same place!
rahulku/test1
rahulku/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
rahulku/verify-rust-std
Verifying the Rust standard library
rahulku/vscode
Visual Studio Code