alwinb/ess

Ess is an expression language for describing properties of JSON-like data structures, allowing boolean combinations of records with optional and required fields, primitive types, numerical ranges, and singleton values. It's designed for developers and researchers interested in semantic type systems, using canonical representations to decide type equivalence and subtype relationships. The project provides a theorem prover-like compiler that transforms type expressions into reduced decision trees for efficient equivalence checking.