Alternatives and similar repositories for jsprolog

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

• soney / interstate
  ☆53Updated 4 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• abresas / prologjs
  Prolog interpreter for node.js
  ☆49Updated 12 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• Gozala / js-tail-call
  JS tail recursion shim through trampolining
  ☆37Updated 13 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆130Updated last year
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• ramda / ramda-logic
  ramda logic
  ☆44Updated 8 months ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 9 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 11 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆96Updated 6 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆33Updated 6 years ago
• fantasyland / sweet-fantasies
  sweet.js macros for Fantasy Land compatible structures.
  ☆35Updated 11 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 11 years ago