WebAssembly version of the SCS convex programming solver
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.
General satisfiability solver for logic problems
SDK for startale account integration with support for account abstraction, ERC-7579, ERC-4337.
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.
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
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).
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
A dependency solver for the elm ecosystem
Node.js binding for the HiGHS optimization solver
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
unit bezier curve interpolation
manage to solve captcha challenges with node
A tiny dependency solver using topological sorting
Restorecommerce scs jobs
Kiwi is a high speed implementation of the Cassowary constraint solving algorithm
Telemetry data from the scs-sdk-plugin