valibuk (cargo): Valibuk is a library and a set of macros implementing the correct-by-construction pattern.
Keywords: validation|builder|macro|derive