george.pancescu 

A simple library that facilitates runtime checks of code and allows to define preconditions and invariants within a method.

A library that provides a custom type (MaskableInt32) that mimics the exact characteristics of Int32 with built-in obfuscation capabilities.