Alternatives and similar repositories for mfjs-logic

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

• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• wjlewis / ramo
  miniKanren for JavaScript
  ☆27Updated 2 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆66Updated 4 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 8 years ago
• LivelyKernel / lively4-projectional-editor
  The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…
  ☆16Updated 8 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 4 years ago
• soney / interstate
  ☆53Updated 5 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 12 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆180Updated last year
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆69Updated 2 years ago
• haskellcamargo / hindley-milner-js
  Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS
  ☆17Updated 8 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆40Updated 7 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 11 years ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• jbmusso / tinkergraph-js
  A pure JavaScript implementation of TinkerPop's TinkerGraph in-memory graph database
  ☆73Updated 9 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• jpaulm / jsfbp
  FBP implementation written using JavaScript and node-fibers
  ☆125Updated 4 years ago
• aslakhellesoy / automerge-codemirror
  CodeMirror integration with Automerge
  ☆33Updated 3 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• aredridel / lotsawa
  The Marpa parsing alrgorithm in Javascript
  ☆22Updated 9 years ago
• davidchambers / nucleotides
  The building blocks of JavaScript programs
  ☆32Updated 8 years ago
• lagodiuk / earley-parser-js
  Tiny JavaScript implementation of context-free languages parser - Earley parser (including generation of the parsing-forest).
  ☆123Updated 8 years ago
• omphalos / inductive.js
  Inductive programming in JavaScript
  ☆25Updated 9 years ago
• monastery-dating / lucidity-LEGACY
  Single repository for all packages related to Lucidity app
  ☆13Updated 8 years ago