An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/ba…

Cloud Native application framework for .NET

Fast persistent recoverable log and key-value store + cache, in C# and C++.

Virtual File System for Git: Enable Git at Enterprise Scale

KurrentDB is a database that's engineered for modern software applications and event-driven architectures. Its event-native design simplifies data modeling and preserves data integrity while the in…

PerfView is a CPU and memory performance-analysis tool

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. …

The P programming language.

SymSpell: 1 million times faster spelling correction & fuzzy search through Symmetric Delete spelling correction algorithm

Dafny is a verification-aware programming language

A self-hosted Fuzzing-As-A-Service platform

Microsoft Graph Engine

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

A set of tools for graph layout and viewing

Microsoft Build Accelerator

DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.

Visual Studio Test Platform is the runner and engine that powers test explorer and vstest.console.

Robust Distributed Programming Made Easy and Efficient

Home to the Small Basic editor (beta)

HyperLogLog-based set cardinality estimation library

Keyczar high level encryption toolkit in C#.

A detailed implementation of the TrueSkill algorithm written in Go ported from Jeff Moser's original C# implementation. Also see Jeff's "Computing Your Skill" blog post