Showing 1-20 of 7,962 packages
A numerical solver for non-linear systems of equations, utilizing the n-dimensional Newton-Raphson method.
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
General satisfiability solver for logic problems
To install dependencies:
A dependency solver for the elm ecosystem
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).
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)
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
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
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 tiny dependency solver using topological sorting
C APIs for registering a Node-API module exporting an interface for invoking a binary numerical function.
C APIs for registering a Node-API module exporting an interface for invoking a unary numerical function.
Kiwi is a high speed implementation of the Cassowary constraint solving algorithm
Automatically solve GitHub issues using Claude Code
Detect native Uint32Array support.