Alternatives and similar repositories for minizinc-js:

Users that are interested in minizinc-js are comparing it to the libraries listed below

• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆25Updated last year
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆48Updated this week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• guregu / trealla-js
  Trealla Prolog for the web
  ☆48Updated last week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated 2 months ago
• strblr / pegase
  An inline, fast, powerful and lightweight PEG parser generator for JavaScript and TypeScript, with semantic actions, parametrized rules, …
  ☆13Updated 5 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆133Updated this week
• wjlewis / ramo
  miniKanren for JavaScript
  ☆26Updated last year
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated this week
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆16Updated 2 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated 3 months ago
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated last week
• engraftdev / engraft
  ☆39Updated last week
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆113Updated last week
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 11 months ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• eclipse-elk / elk-models
  Eclipse Layout Kernel - Test models
  ☆17Updated 7 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆79Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆71Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• calculang / calculang
  calculang is a language for calculations 🧮💬👩‍💻
  ☆54Updated this week