nickmain / cchrLinks
Copy of the CCHR Constraint Handling Rules implementation in C
☆20Updated 3 years ago
Alternatives and similar repositories for cchr
Users that are interested in cchr are comparing it to the libraries listed below
Sorting:
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- αProlog☆17Updated last year
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Gallina to Bedrock2 compilation toolkit☆54Updated this week
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- ☆29Updated 9 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last month
- generative programming & verification☆33Updated 3 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- Constraint Handling Rules☆16Updated 8 months ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- MetaML and MetaOCaml bibliography☆91Updated 6 months ago
- ☆60Updated 5 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆16Updated 9 years ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- Logic for story telling!☆34Updated 7 years ago
- SSA vs ANF☆42Updated 9 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A cost-aware logical framework, embedded in Agda.☆61Updated this week
- The Ynot Project source code.☆22Updated 11 years ago