Alternatives and similar repositories for z3.js

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

• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 6 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• 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
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆180Updated last year
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆101Updated 2 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆69Updated 2 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 10 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
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆67Updated 5 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆20Updated 5 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 7 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 11 years ago
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆200Updated 8 years ago
• marijnh / distfs
  Mount a directory of ES6 code as a FUSE directory of babel-compiled output
  ☆40Updated 9 years ago
• soney / interstate
  ☆53Updated 5 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated last year
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• shapesecurity / shift-reducer-js
  reducer for the Shift AST format
  ☆24Updated 3 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 8 years ago
• mikolalysenko / functional-priority-queue
  A functional priority queue in JavaScript
  ☆21Updated 10 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆136Updated 8 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆276Updated last year
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago