Overloadable operators.| doc.rust-lang.org
An alpha library for refinement types with rich support for serde| jordankaye.dev
