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 3 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• soney / interstate
  ☆53Updated 4 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆128Updated 8 months ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 7 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆27Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• fantasyland / fantasy-frees
  Free monad
  ☆26Updated 9 years ago
• luciotato / LiteScript
  Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy
  ☆147Updated 4 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated last year
• briancavalier / most-behavior
  You're probably looking for https://github.com/briancavalier/most-behave instead
  ☆11Updated 6 years ago
• rrbit-org / rrbit-js
  ☆12Updated 7 years ago
• cruxlang / crux
  Crux Programming Language
  ☆52Updated 2 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆102Updated 9 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 11 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 2 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 8 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago