Alternatives and similar repositories for logic-solver

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

• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• mattbierner / hamt
  Javascript Hash Array Mapped Trie
  ☆252Updated 3 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• benjamn / arson
  Efficient encoder and decoder for arbitrary objects
  ☆198Updated 6 years ago
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆149Updated last week
• ccorcos / reactive-magic
  Magical reactivity at your fingertips that helps you build complex applications quickly
  ☆40Updated 7 years ago
• bijection / nearley-playground
  ⛹ Write Grammars for the Nearley Parser!
  ☆84Updated 2 years ago
• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆61Updated 8 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 9 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• jussi-kalliokoski / babel-plugin-operator-overload
  Babel plugin for overloading operators
  ☆67Updated 7 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆178Updated last year
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• mizchi / TypedCoffeeScript
  rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility
  ☆228Updated 10 years ago
• IjzerenHein / kiwi.js
  Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
  ☆252Updated 3 years ago
• glathoud / fext
  Fast explicit tail calls. In today's JavaScript!
  ☆109Updated last year
• haskellcamargo / hindley-milner-js
  Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS
  ☆17Updated 7 years ago
• ldthomas / apg-js2
  Deprecated. Use the updated version, apg-js, instead. JavaScript APG Version 2.0. APG is an ABNF Parser Generator. It generates recursive…
  ☆33Updated 4 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 12 years ago
• funkia / io
  A library that turns impure code into pure and testable code.
  ☆38Updated 2 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• Tixit / odiff
  Gets a list of differences between two javascript values.
  ☆90Updated 2 years ago
• seanhess / runtime-types
  Use flow type information at runtime. Useful for validations, mapping to an ORM, and more.
  ☆70Updated 8 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 8 years ago
• pandanoir / List-in-JS
  ☆21Updated 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
• the-grid / finitedomain
  Finite Domain Constraint Solver
  ☆29Updated 8 years ago
• benji6 / imlazy
  😴 Functional programming with lazy immutable iterables
  ☆103Updated 2 weeks ago