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
• soney / interstate
  ☆53Updated 4 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated 2 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• Gozala / js-tail-call
  JS tail recursion shim through trampolining
  ☆37Updated 13 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆128Updated 10 months ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• IvanIvanov / JavaScript-Logic-Programming-System
  A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…
  ☆22Updated 13 years ago
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 years ago
• pdubroy / marked-ast
  A modified version of chjj/marked that can produce an abstract syntax tree for Markdown
  ☆46Updated 5 years ago
• CodeJockey / node-ninja
  Node.js native addon build tool
  ☆15Updated 2 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆22Updated 5 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 3 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• Cirru / respo-cirru-editor.cljs
  Reimplement Cirru Editor in Respo.
  ☆34Updated last month
• briancavalier / most-behavior
  You're probably looking for https://github.com/briancavalier/most-behave instead
  ☆11Updated 6 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• thalesmello / typematch
  A small TypeScript library to do pattern matching
  ☆13Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago