Copy of the CCHR Constraint Handling Rules implementation in C
☆20Nov 18, 2021Updated 4 years ago
Alternatives and similar repositories for cchr
Users that are interested in cchr are comparing it to the libraries listed below
Sorting:
- Constraint Handling Rules☆17Sep 18, 2024Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Oct 27, 2023Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- ☆16Mar 14, 2024Updated last year
- Finite domain constraint solver in Haskell☆20Oct 2, 2021Updated 4 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Nov 15, 2020Updated 5 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- CHR: Leuven Constraint Handling Rules☆26Feb 22, 2026Updated last week
- Unofficial git mirror of the BER MetaOCaml patchset.☆70May 6, 2025Updated 9 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 5 years ago
- Computational Geometry Foundations for Finite and Boundary Element Methods☆34Feb 12, 2026Updated 2 weeks ago
- SAT solver for education☆26Nov 1, 2022Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- An efficient symbolic term rewriting engine☆78Dec 23, 2020Updated 5 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 weeks ago
- Constraint-based generics☆50Jan 6, 2026Updated last month
- A pure Haskell implementation of Datalog☆105Aug 18, 2020Updated 5 years ago
- A piano with a grid layout (iOS)☆12Jan 22, 2025Updated last year
- ☆10Jan 16, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- ☆11Aug 25, 2018Updated 7 years ago
- ☆25Apr 10, 2019Updated 6 years ago