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

LLM inference in C/C++

Windows Calculator: A simple yet powerful calculator that ships with Windows

Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available f…

The Z3 Theorem Prover

Bash's powerful command line editing in cmd.exe

Compiler for Neural Network hardware accelerators

Windows Implementation Library

Xbox360 -> Windows executable converter

Experiments towards neural network theorem proving