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
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 9 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 11 months ago
• josdejong / typed-function
  Runtime type-checking for JavaScript functions
  ☆74Updated 11 months ago
• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆61Updated 7 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 9 years ago
• benji6 / imlazy
  😴 Functional programming with lazy immutable iterables
  ☆102Updated last month
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 6 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• Tixit / odiff
  Gets a list of differences between two javascript values.
  ☆90Updated last year
• benjamn / arson
  Efficient encoder and decoder for arbitrary objects
  ☆197Updated 6 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆89Updated 6 years ago
• kube / monolite
  Statically-typed structural-sharing tree modifier
  ☆149Updated 2 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 9 months ago
• GerHobbelt / jison
  bison / YACC / LEX in JavaScript (LALR(1), SLR(1), etc. lexer/parser generator)
  ☆123Updated 4 years ago
• jussi-kalliokoski / babel-plugin-operator-overload
  Babel plugin for overloading operators
  ☆67Updated 7 years ago
• aantthony / javascript-cas
  Computer Algebra System written in JavaScript.
  ☆129Updated 11 years ago
• russellmcc / fantasydo
  Do-notation for javascript fantasy land
  ☆64Updated 11 years ago
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆148Updated this week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• zkat / mona
  Composable parsing for JavaScript
  ☆154Updated 9 years ago
• PrajitR / jusCSP
  Visualize solving Constraint Satisfaction Problems.
  ☆32Updated 10 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆88Updated 8 years ago
• KiaraGrouwstra / typical
  playground for type-level primitives in TypeScript
  ☆173Updated 2 months ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• dhconnelly / prettybnf
  a JavaScript library for working with BNF grammars
  ☆59Updated 3 years ago