Packages tagged: safety

contracts
Design by contract (DbC) library.
Pure Nim library pure contract contracts DbC 0.2.2 linux macos win
optionsutils
Utility macros for easier handling of options in Nim
Pure Nim options library safety 1.3.0 linux macos win
proven
FFI bindings to libproven -- formally verified safety primitives
Pure Nim safety security verified math crypto 0.5.0 linux macos win
units
Units of measure.
Pure Nim library pure units physics science 0.1.0 linux macos win