MiniZinc / minizinc-js

Related projects ⓘ

Alternatives and complementary repositories for minizinc-js

• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆27Updated 10 months ago
• calculang / calculang
  calculang is a language for calculations 🧮💬👩‍💻
  ☆45Updated 2 months ago
• joshuabenuck / seran-wiki
  Experiment to create a Deno based implementation of Federated Wiki
  ☆11Updated 4 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆104Updated last year
• guregu / trealla-js
  Trealla Prolog for the web
  ☆42Updated last week
• domoritz / clingo-wasm
  Clingo on the web
  ☆33Updated this week
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 8 months ago
• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆24Updated 7 months ago
• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆16Updated 4 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆64Updated 7 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆103Updated 3 months ago
• prologbyexample / code
  ☆28Updated last year
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆19Updated last month
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆44Updated this week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 months ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 4 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated 11 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆91Updated 6 months ago
• leanprover / lean-client-js
  ☆34Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated last week
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated this week
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆77Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago