Alternatives and similar repositories for logic-solver:

Users that are interested in logic-solver are comparing it to the libraries listed below

• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆61Updated 7 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 9 months ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 9 years ago
• jussi-kalliokoski / babel-plugin-operator-overload
  Babel plugin for overloading operators
  ☆67Updated 7 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 9 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 12 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆198Updated last year
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• benjamn / arson
  Efficient encoder and decoder for arbitrary objects
  ☆196Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆143Updated 5 years ago
• pegjs / website
  Source code of the PEG.js website
  ☆55Updated 7 years ago
• hunterloftis / cryo
  JSON on steroids.
  ☆157Updated 7 years ago
• omphalos / inductive.js
  Inductive programming in JavaScript
  ☆25Updated 8 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆89Updated 6 years ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 6 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• llafuente / esprima-ast-utils
  Utility library to manipulate, transform, query and debug esprima ASTs.
  ☆30Updated 7 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 6 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆173Updated 8 months ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• 0x6563 / grammar-well
  Grammar Well is a cross-platform compiler, parser, and/or interpreter written in TypeScript.
  ☆26Updated 3 months ago
• Tixit / odiff
  Gets a list of differences between two javascript values.
  ☆90Updated last year
• ochafik / jstyper
  🦆 Adds Flow / TypeScript types to JavaScript files... because that hassle can be automated.
  ☆25Updated 7 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 8 years ago
• kevinbarabash / functify
  Functional methods like map, reduce, filter, etc. for ES6 Iterators.
  ☆41Updated 7 years ago