Alternatives and similar repositories for CHR.js

Users that are interested in CHR.js are comparing it to the libraries listed below

• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆40Updated 7 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆276Updated last year
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆59Updated 5 months ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆223Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆132Updated 11 months ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated last week
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Updated 2 months ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• thetrime / proactive
  Prolog and Java version of Facebook's React concept
  ☆15Updated 4 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 9 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆161Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 5 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 2 months ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• triska / clpz
  Constraint Logic Programming over Integers
  ☆210Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆416Updated 3 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆18Updated 7 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago