Alternatives and similar repositories for z3.js

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

• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆69Updated 2 years ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆27Updated 12 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 10 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 7 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 11 years ago
• mikolalysenko / functional-priority-queue
  A functional priority queue in JavaScript
  ☆21Updated 10 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• Azeirah / A-new-wave-of-programming
  A collection of related articles, experiments and demos about futuristic kinds of programming
  ☆167Updated 10 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated 2 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 7 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆180Updated last year
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆200Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• jlongster / reason-http-server-example
  A simple HTTP server in Reason using cohttp and built with Rebel.
  ☆10Updated 9 years ago
• noahvanes / slip.js
  A Scheme interpreter in asm.js
  ☆15Updated 8 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 4 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 8 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆67Updated 5 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆101Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 6 years ago
• jlongster / sweetjs-loader
  A webpack loader for sweetjs
  ☆47Updated 10 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• soney / interstate
  ☆53Updated 5 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆20Updated 5 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆136Updated 8 years ago
• lyzidiamond / rpl
  REPL from the future and past.
  ☆53Updated 11 years ago