Chocolatey - the package manager for Windows

Experience, Learn and Code the latest breakthrough innovations with Microsoft AI

Dafny is a verification-aware programming language

From git log to SemVer in no time

Python Tools for Visual Studio

Bringing clang-tidy magic to Visual Studio C++ developers.

Simple Have I Been Pwned checker for KeePass

A small, simple kernel example for IPython

Schillings SwordPhish empowers organisations and engages its employees to establish the key component of any cyber security strategy: the Human Firewall.

Fast Fluid Dynamics library, created for Google Summer of Code

Additional shapes for Dia, Debian package dia-shapes

A documentation generator for Fortran.