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
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• soney / interstate
  ☆53Updated 4 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆128Updated 10 months ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆45Updated 4 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 10 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 11 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 8 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆22Updated 5 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 8 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated 2 years ago
• abresas / prologjs
  Prolog interpreter for node.js
  ☆49Updated 12 years ago
• Pauan / Immutable
  Fast immutable data structures
  ☆32Updated 10 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated last week
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago