Alternatives and similar repositories for z3.js:

Users that are interested in z3.js are comparing it to the libraries listed below

• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• mikolalysenko / functional-priority-queue
  A functional priority queue in JavaScript
  ☆20Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 9 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 2 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 8 years ago
• noahvanes / slip.js
  A Scheme interpreter in asm.js
  ☆15Updated 7 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 11 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 8 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆197Updated 11 months ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆51Updated 8 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated last year
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 4 years ago
• acarrico / evaluator
  An evaluator with an expander.
  ☆19Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆92Updated last year
• fantasyland / sweet-fantasies
  sweet.js macros for Fantasy Land compatible structures.
  ☆34Updated 11 years ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆28Updated 11 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 4 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• soney / interstate
  ☆53Updated 4 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆19Updated 7 years ago
• cscheid / lux
  Lux is an EDSL for WebGL graphics and shading
  ☆99Updated 6 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 7 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 8 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• scijs / ndarray-blas-level1-complex
  BLAS Level 1 operations for complex ndarrays
  ☆9Updated 9 years ago