Heimerd1nger / awesome-constraint-learning Star 6 Code Issues Pull requests A list of awesome resources related to constraint learning model human-in-the-loop logical-constraints model-editing neurosymbolic-ai domain-constraint concept-bottleneck Updated Jul 11, 2026 Python
cwchentw / ocaml-domain-specific-type-demo Star 0 Code Issues Pull requests Case study in implementing domain‑specific types data-validation ocaml biomedical-informatics ada type-safety api-design case-study real-world-data domain-specific-models smart-constructor constraint-error domain-constraint Updated Jul 11, 2026 OCaml
cwchentw / csharp-DomainSpecificType-demo Star 0 Code Issues Pull requests Case study in implementing domain-specific types c-sharp data-validation biomedical-informatics ada type-safety case-study real-world-data domain-specific-models smart-constructor constraint-error domain-constraint Updated Jul 11, 2026 C#