Alternatives and similar repositories for logic-solver

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

• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 9 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆61Updated 7 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• bijection / nearley-playground
  ⛹ Write Grammars for the Nearley Parser!
  ☆84Updated 2 years ago
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆148Updated last week
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 10 years ago
• benjamn / arson
  Efficient encoder and decoder for arbitrary objects
  ☆197Updated 6 years ago
• metaes / metaes
  JavaScript in JavaScript interpreter for better tools.
  ☆139Updated 2 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆51Updated 8 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆89Updated 7 years ago
• briancavalier / most-behave
  Experimental continuous Behaviors for most.js
  ☆32Updated 5 years ago
• benji6 / imlazy
  😴 Functional programming with lazy immutable iterables
  ☆102Updated last week
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• mattbierner / hamt
  Javascript Hash Array Mapped Trie
  ☆251Updated 3 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• 0x6563 / grammar-well
  Grammar Well is a cross-platform compiler, parser, and/or interpreter written in TypeScript.
  ☆27Updated last week
• ccorcos / reactive-magic
  Magical reactivity at your fingertips that helps you build complex applications quickly
  ☆40Updated 7 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated 11 months ago
• Gozala / reducers
  Library for higher-order manipulation of collections
  ☆179Updated 3 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 9 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆102Updated last year
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 8 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 2 years ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 6 years ago
• seanhess / runtime-types
  Use flow type information at runtime. Useful for validations, mapping to an ORM, and more.
  ☆70Updated 8 years ago
• Tixit / odiff
  Gets a list of differences between two javascript values.
  ☆90Updated last year