PUnits - Precise Inference of Expressive Units-of-Measurement Types

PUnits is a pluggable type system for expressive units of measurement types and a precise, whole-program inference approach for these types. PUnits can be used in three modes: (1) modularly check the correctness of a program, (2) ensure a possible unit typing exists, (3) annotate a program with units. This contains a docker image that  is created for the OOPSLA 2020 artifact evaluation. Please see the README.md file for detail.