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 9 years ago
• phadej / typify
  Runtime type checking for JavaScript
  ☆76Updated 5 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆90Updated 6 years ago
• jussi-kalliokoski / babel-plugin-operator-overload
  Babel plugin for overloading operators
  ☆67Updated 7 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 2 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 7 months ago
• dead-claudia / lifted-pipeline-proposal
  Proposal for lifted pipelines
  ☆35Updated 3 years ago
• pelotom / burrido
  Do-notation for JavaScript
  ☆178Updated 7 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆72Updated 9 years ago
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 8 years ago
• funkia / io
  A library that turns impure code into pure and testable code.
  ☆38Updated 2 years ago
• IjzerenHein / kiwi.js
  Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
  ☆251Updated 3 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆65Updated 4 years ago
• natefaubion / adt.js
  Algebraic data types for Javascript
  ☆220Updated 10 years ago
• russellmcc / fantasydo
  Do-notation for javascript fantasy land
  ☆64Updated 11 years ago
• pandanoir / List-in-JS
  ☆21Updated 7 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆34Updated 9 years ago
• kevinbarabash / functify
  Functional methods like map, reduce, filter, etc. for ES6 Iterators.
  ☆41Updated 7 years ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 6 years ago
• phadej / optika
  Optics library for JavaScript
  ☆141Updated 6 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 9 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 5 months ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 9 years ago
• xodio / hm-parser
  A parser for Hidnley Milner notations
  ☆23Updated 2 years ago
• mattbierner / akh
  Javascript Monad and Monad Transformer Collection
  ☆82Updated 6 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• GregRos / parjs
  JavaScript parser-combinator library
  ☆280Updated last week
• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆61Updated 7 years ago
• strax / tshkt
  Encoding higher-kinded types in TypeScript
  ☆41Updated 5 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 6 years ago