General satisfiability solver for logic problems
Logic solver for mobilix filters
A fork of logic-solver that is compiled to wasm instead of JS with additional features
functional logic solver with builtin parser
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
A dependency solver for the elm ecosystem
Solves for copper pour polygons
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, funcaptcha, geetest and solve any other captchas.
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
A high density zero-obstacle solver
Solve for the correct positions and routing for schematic traces and net labels. For use inside [@tscircuit/core](https://github.com/tscircuit/core)
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
Logic-less {{mustache}} templates with JavaScript
Positioning library for floating elements: tooltips, popovers, dropdowns, and more
Node.js binding for the HiGHS optimization solver
Floating UI for the web
unit bezier curve interpolation
TypeScript definitions for json-logic-js
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance
No description provided.
No description provided.
No description provided.