Projects in Awesome Lists tagged with constraint-handling-rules
A curated list of projects in awesome lists tagged with constraint-handling-rules .
https://github.com/jetbrains/mps-coderules
Type checking and logical inference for JetBrains MPS
code-analysis constraint-handling-rules constraint-rules control-flow jetbrains-mps type-checking
Last synced: 04 Feb 2025
https://github.com/eagleoutice/texchr
A fun implementation of FreeCHR in plain TeX
chr constraint-handling-rules latex plain-tex tex
Last synced: 26 Mar 2025
https://github.com/fnogatz/chr.bib
BibTeX collection of publications related to Constraint Handling Rules
bibliography bibtex constraint-handling-rules prolog
Last synced: 01 Apr 2025
