Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows

A hex editor for WeChat/QQ/TIM - PC版微信/QQ/TIM防撤回补丁（我已经看到了，撤回也没用了）

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication feat…

Remote Administration Tool for Windows

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Walk through an infinite, procedurally generated city

The P programming language.

Dafny is a verification-aware programming language

An Implementation of NTQQ Protocol, with Pure C#, Derived from Konata.Core

Reko is a binary decompiler.

A game made by the Celeste developers in a week(ish, closer to 2)

Effortlessly transmitting Morse Code of chess moves to your butthole 💝

An up-to-date NBT viewer and editor with lots of new features

Converts image to maps for Minecraft Java and Bedrock

2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)

MarkovJunior in Unity

C# code projects for my book, Fabulous Adventures in Data Structures and Algorithms

convert minecraft schematic 2 json model