Showing 1-20 of 787 packages
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
To install dependencies:
General satisfiability solver for logic problems
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 library for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
A dependency solver for the elm ecosystem
Solve for the correct positions and routing for schematic traces and net labels. For use inside [@tscircuit/core](https://github.com/tscircuit/core)
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).
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
Automatically solve GitHub issues using Claude Code
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
The Eco Routes Protocol is a decentralized intent based system that allows users to submit their intent to the network and have it fulfilled by a solver on the destination rollup of their choise.
A small cubic bézier timing function
A tiny dependency solver using topological sorting
manage to solve captcha challenges with node
Solves systems of 3 equations with three unknowns.
Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance
Kiwi is a high speed implementation of the Cassowary constraint solving algorithm