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

Seatbelt is a C# project that performs a number of security oriented host-survey "safety checks" relevant from both offensive and defensive security perspectives.

Network Analysis Tool

Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the d…

Manic Digger - a multiplayer block-building voxel game, Minecraft clone

rot13 for the Unicode generation