The Microsoft Speech SDK is a development toolkit for creating speech-enabled applications that can recognize and synthesize speech using Microsoft's speech technologies.
Dafny is an automated verification tool for functional correctness of imperative programs written in a subset of the C# and Java programming languages.
Sublime Merge is a powerful, cross-platform Git client that provides an intuitive interface for efficiently managing branches, merging, and resolving conflicts.
HTTP Toolkit is a tool for debugging, testing, and building with HTTP, designed to help you quickly and easily debug, test and modify any HTTP-based system.
