A library for simplifying encoding and decoding URL query parameters.

RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank

Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.

Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver

General satisfiability solver for logic problems

An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)

Solves PCB copper pour regions from Circuit JSON or from a small geometry input format, returning `pcb_copper_pour`-ready B-Rep shapes.

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).

JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, funcaptcha, geetest and solve any other captchas.

Generate FDM enclosure geometry from board dimensions and wall apertures

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.

A dependency solver for the elm ecosystem

QPJoy Neon Void dark cyan design tokens and CSS component library.

Node.js binding for the HiGHS optimization solver

unit bezier curve interpolation

Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance

A high density zero-obstacle solver

Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.