GJDuck / SMCHRLinks
SMCHR - Satisfiability Modulo Constraint Handling Rules
☆12Updated 6 years ago
Alternatives and similar repositories for SMCHR
Users that are interested in SMCHR are comparing it to the libraries listed below
Sorting:
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- Datalog with support for SMT queries and first-order functional programming☆158Updated 8 months ago
- Parser for the llvm bitcode format☆59Updated last week
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- αProlog☆18Updated last year
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated 2 years ago
- Prototype type inference engine☆202Updated 4 months ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Coq library for verified low-level programming☆60Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 2 months ago
- Formalization of C++ for verification purposes.☆81Updated last week
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Unison's source code☆108Updated last year