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.