nickmain / cchr
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
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Gallina to Bedrock2 compilation toolkit☆52Updated last week
- αProlog☆17Updated last year
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 4 years ago
- A cost-aware logical framework, embedded in Agda.☆59Updated 5 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 8 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 8 years ago
- miniKanren with a first-order representation of the search space☆16Updated 6 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Constraint Handling Rules☆15Updated 4 months ago
- MetaML and MetaOCaml bibliography☆86Updated last month
- SSA vs ANF☆42Updated 9 years ago
- Reference type checker for the Lean theorem prover☆14Updated 6 years ago
- Prolog, Datalog, languages, resources, and beyond!☆29Updated 3 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 3 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 3 months ago
- The opentheory tool processes higher order logic theory packages☆15Updated last year
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- ☆29Updated 9 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 2 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- LL(1) parser generator verified in Coq☆45Updated 5 years ago