Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.

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

Orchard Core is an open-source modular and multi-tenant application framework built with ASP.NET Core, and a content management system (CMS) built on top of that framework.

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

Windows Subsystem for Linux

Visual Studio Code

eBPF implementation that runs on top of Windows

eBPF distributed networking observability tool for Kubernetes

A source generator to add a user-defined set of Win32 P/Invoke methods and supporting types to a C# project.

This repository contains code that's not yet upstreamed or Microsoft specific. Please contribute directly to the upstream project.

ReCall: Learning to Reason with Tool Call for LLMs via Reinforcement Learning

The Pulse separation logic DSL for F*

The Z3 Theorem Prover

Userspace eBPF VM

LLM powered development for VSCode

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

🏆 Add dynamically generated GitHub Stat Trophies on your readme

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research