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
  ☆125Updated 10 months ago
• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆61Updated 7 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 8 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 11 years ago
• jussi-kalliokoski / babel-plugin-operator-overload
  Babel plugin for overloading operators
  ☆67Updated 7 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆148Updated 3 months ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 8 years ago
• haskellcamargo / hindley-milner-js
  Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS
  ☆17Updated 7 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 8 months ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆89Updated 6 years ago
• xodio / hm-parser
  A parser for Hidnley Milner notations
  ☆23Updated 2 years ago
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 8 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 10 years ago
• russellmcc / fantasydo
  Do-notation for javascript fantasy land
  ☆64Updated 11 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• pandanoir / List-in-JS
  ☆21Updated 7 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 7 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 10 years ago
• funkia / io
  A library that turns impure code into pure and testable code.
  ☆38Updated 2 years ago
• CRogers / pun
  A small library to enable pattern matching in javascript and coffeescript
  ☆345Updated 10 years ago
• dead-claudia / lifted-pipeline-proposal
  Proposal for lifted pipelines
  ☆35Updated 3 years ago