Alternatives and similar repositories for SMCHR

Users that are interested in SMCHR are comparing it to the libraries listed below

• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆21Updated 3 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated last week
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 4 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• unison-code / unison
  Unison's source code
  ☆109Updated last year
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 8 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆169Updated last week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆91Updated this week
• stedolan / mlsub
  Prototype type inference engine
  ☆204Updated 9 months ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated this week
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated 3 weeks ago
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆21Updated 8 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆129Updated last year
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆33Updated last week
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated last month
• metaborg / spoofax
  Spoofax runtime
  ☆150Updated 6 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated last year
• smowton / llpe
  ☆55Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆172Updated last week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 4 months ago