Lean 4 programming language and theorem prover

Lean Theorem Prover

Defines a common protocol for debug adapters.

Open Source Computer Vision Library

An ultra-simplified explanation to design patterns

The library for web and native user interfaces.

Papers from the computer science community to read and discuss.

Defines a common protocol for language servers.

C++ Library Manager for Windows, Linux, and MacOS

DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps

DirectXMesh geometry processing library

DirectXTex texture processing library

Sample code showing how to use Win2D

Win2D is an easy-to-use Windows Runtime API for immediate mode 2D graphics rendering with GPU acceleration. It is available to C#, C++ and VB developers writing apps for the Windows Universal Platf…