nature republic

https://github.com/microsoft/CloudAdoptionFramework

In program semantics, an invariant of a piece of code is a condition that is provably true throughout the execution of that code. Defining invariants helps to reason about the code's correctness and behavior.