Microsoft PowerToys is a collection of utilities that help you customize Windows and streamline everyday tasks

Automatically switches between the dark and light theme of Windows 10 and Windows 11

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

PerfView is a CPU and memory performance-analysis tool

The P programming language.

Dafny is a verification-aware programming language

This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.

A formal verifier and analysis tool for Solidity Smart Contracts

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