Alternatives and similar repositories for jsprolog

Users that are interested in jsprolog are comparing it to the libraries listed below

• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 4 years ago
• soney / interstate
  ☆53Updated 5 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• Gozala / js-tail-call
  JS tail recursion shim through trampolining
  ☆37Updated 14 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆69Updated 2 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆131Updated last year
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆94Updated 11 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 7 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 12 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆46Updated 5 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆28Updated 9 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 9 years ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆27Updated 12 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆20Updated 7 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 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
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• cdglabs / object-finder
  A little experiment in unit test-based object discovery
  ☆20Updated 9 years ago
• jlongster / LLJS
  LLJS: Low-Level JavaScript
  ☆112Updated 12 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 9 years ago
• briancavalier / most-behave
  Experimental continuous Behaviors for most.js
  ☆32Updated 6 years ago