MiniZinc / minizinc-jsLinks
Use MiniZinc in the browser or with NodeJS
☆51Updated 3 weeks ago
Alternatives and similar repositories for minizinc-js
Users that are interested in minizinc-js are comparing it to the libraries listed below
Sorting:
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 weeks ago
- calculang is a language for calculations 🧮💬👩💻☆57Updated last month
- Trealla Prolog for the web☆53Updated last month
- A new kind of visual programming☆141Updated 8 months ago
- An inline, fast, powerful and lightweight PEG parser generator for JavaScript and TypeScript, with semantic actions, parametrized rules, …☆13Updated last year
- A SolidJS diagramming framework☆74Updated last year
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated last week
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- ☆85Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- 🐌 A suite of libraries for building reactive HTML notebooks with inline contenteditable <script>s☆124Updated 2 months ago
- TypeScript's type system is Turing complete - let's abuse that!☆101Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last week
- Playing around with notebook software☆43Updated 4 months ago
- ☆146Updated 10 months ago
- Hypergraph Rewriting System☆82Updated this week
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- A Discrete Event Simulation library in TypeScript.☆31Updated last year
- A parser combinator library in TypeScript☆25Updated 4 months ago
- Eclipse Layout Kernel - Test models☆19Updated last year
- Clingo on the web☆42Updated this week
- The Coil Programming Language☆33Updated last year
- Macro-based string templating.☆24Updated 3 weeks ago
- Typed Formats for Storing & Transferring Data & Code☆35Updated 2 months ago
- TypeScript-like theorem prover☆41Updated 6 months ago
- An Agent Based Modeling system (ABM)☆120Updated last week
- Graph Selector is a language for describing graphs (nodes and edges) and storing arbitrary data on those nodes and edges in plaintext.☆52Updated 9 months ago
- Multitier JavaScript☆157Updated last month