CLR: Checker of Lifetimes and other Refinement types for Zig

**Summary:** CLR is an open-source project that provides a checker for lifetimes and other refinement types in the Zig programming language. It may be useful fo