Stars
Agda is a dependently typed programming language / interactive theorem prover.
Lean 4 programming language and theorem prover
Documentation for the Azure PlayFab service for game development
Open source neural network chess engine with GPU acceleration and broad hardware support.
Open source documentation for the Azure Architecture Center on Microsoft Learn.
NVIDIA Linux open GPU kernel module source
The official Windows Driver Kit DDI reference documentation sources
Core functionality needed to create .NET Core projects, that is shared between Visual Studio and CLI
A public version to sync with SupportArticles-docs-pr
The web framework for content-driven websites. ⭐️ Star to support our work!
The official Windows Driver Kit documentation sources
Open Source Azure AI documentation including, azure ai, azure studio, machine learning, genomics, open-datasets, and search
The Microsoft.VisualStudio.Threading is a xplat library that provides many threading and synchronization primitives used in Visual Studio and other applications.
The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
MarkdownLint Command Line Interface