#yaiouom

  1. yaiouom

    可扩展、强类型量度单位,通过自定义类型系统(基于 F#'s 单位量度)实现,作为代码检查器

    v0.1.3 #units #linter #dimension #unit #dimensional-analysis #uom
  2. yoric/yaiouom-checker

    Rust 类型系统向检查量度单位的原型扩展

    GitHub 0.1.0 #measure #system #checking #yaiouom #unit #units-of-measure #unify