nickmain / cchr
Copy of the CCHR Constraint Handling Rules implementation in C
☆20Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cchr
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- ☆15Updated 3 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆17Updated 8 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated 10 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- software archaeology of reflective towers of interpreters☆15Updated last month
- A showcase of interesting code and proof developments in Cedille☆36Updated last year
- Logic for story telling!☆32Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- ☆29Updated 9 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 2 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- miniKanren with a first-order representation of the search space☆16Updated 3 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- αProlog☆17Updated last year
- ☆51Updated 2 months ago
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- MetaML and MetaOCaml bibliography☆85Updated 2 months ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 3 weeks ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- ☆33Updated 6 months ago