FreeCHR: Algebraic embedding of Constraint Handling Rules

FreeCHR is a formal framework for the internal embedding of Constraint Handling Rules (CHR) into any modern programming language, which includes an inherent connections between theoretical and practical aspects of CHR.

The framework revolves around the category theoretical concepts of functors and F-algebras and re-interprets the syntax and semantics of CHR based on this concept.

Our goal is to provide a unified, formally sound and practically viable foundation for CHR users, developers and researchers.