Standalone VDF Prover
Module to convert Valve's KeyValue format to JSON and back
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
A port of steamodd's vdf.py to node.js.
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
Package for (de)serialization of Valve's KeyValue format (VDF)
General satisfiability solver for logic problems
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
Parser and serializer for Valve's VDF format
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.
Package for (de)serialization of Valve's KeyValue format (VDF)
Parses binary KeyValues, used especially in Steam
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)
Parses VDF/KeyValues, used Steam and Source engine games
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
unit bezier curve interpolation
Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance