Use MiniZinc in the browser or with NodeJS
☆52Jan 28, 2026Updated last month
Alternatives and similar repositories for minizinc-js
Users that are interested in minizinc-js are comparing it to the libraries listed below
Sorting:
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- Interactive Web Console for Rebol language (Ren-C branch)☆14Dec 16, 2025Updated 2 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31Feb 23, 2026Updated last week
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- A demo of "Top Down Operator Precedence" parser (Pratt parsing) implemented in TypeScript☆14May 29, 2022Updated 3 years ago
- 🧩 Proposal to allow user scripts like "expand comments", "hide popups", "fill out this form", etc. to be reusable across pure browser en…☆19Jul 11, 2025Updated 7 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Mar 20, 2025Updated 11 months ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- This Python wrapper for the SAP Analytics Cloud OData Export API demonstrates the basics for interacting with this API to export metadata…☆15Mar 10, 2025Updated 11 months ago
- SAT solver library in Go; wraps around Google's Operational Research Tools☆26Apr 19, 2023Updated 2 years ago
- SAT solver for education☆26Nov 1, 2022Updated 3 years ago
- Experimental tagging schema for analysis of intersectionality, bias, and reception theories.☆11Feb 21, 2024Updated 2 years ago
- Trealla Prolog embedded in Go using WASM☆82Dec 24, 2025Updated 2 months ago
- Play Mortal Kombat with the camera as your input device and your body/pose as a controller.☆11Jun 18, 2023Updated 2 years ago
- Imports events from remotely-located iCalendar files into The Events Calendar plugin for WordPress.☆10Jun 26, 2025Updated 8 months ago
- A minimal cross browser URL parser library☆10Apr 26, 2020Updated 5 years ago
- ALGLIB Non-Linear Constrained Gradient Optimization☆13Aug 26, 2023Updated 2 years ago
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…☆43Dec 12, 2025Updated 2 months ago
- A simple Powershell script to clean up your PATH on Windows☆17Mar 6, 2022Updated 4 years ago
- A tiny reactive dataflow library for scheduling a DAG of async functions in Javascript☆12Oct 22, 2022Updated 3 years ago
- Typewriter component for Svelte that actually "types" one character at a time☆15Jan 23, 2026Updated last month
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- AMP (Advance Music Player) is a free, powerful and elegant music player for Android used to be a free app on the Play Store.☆15May 9, 2022Updated 3 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- OpenPGP in Python using Sequoia PGP☆18Feb 25, 2026Updated last week
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- Automatically generate tests for your website by using LLM models☆17Aug 7, 2023Updated 2 years ago
- An experiment to create instant preview feature for the Vive Focus device☆14Aug 11, 2018Updated 7 years ago
- Beancount Language Server Protocol (LSP) implementation run on electron and browser (VSCode for Web / github.dev)☆46Updated this week
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Seaside wrapper for Bootstrap 5 on Pharo☆11Jul 26, 2024Updated last year
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last week
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- ☆12Jul 10, 2023Updated 2 years ago
- lua command line interpreter for Android☆16Sep 17, 2015Updated 10 years ago
- Command line interface to Ryochan7/DS4Windows app.☆11Nov 28, 2020Updated 5 years ago