Packages tagged: safety

contracts
Design by Contract (DbC) library with minimal runtime.
Pure Nim library pure contract contracts DbC linux macos win
optionsutils
Utility macros for easier handling of options in Nim
Pure Nim options library safety linux macos win
proven
Formally verified safety primitives - safe math, crypto, paths, email, network
Pure Nim safety security verified math crypto linux macos win
units
Statically-typed quantity units.
Pure Nim library pure units physics science linux macos win