A collection of TS and C++ utilities to help writing performant and correct applications, achieved through strict typing and (removable) invariant checking.