A tiny invariant function
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
A tiny warning function
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
General satisfiability solver for logic problems
Tiny Casing utils
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.
A fast, lightweight LRU (Least Recently Used) cache for JavaScript with O(1) operations and optional TTL support.
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).
Tiny CBOR library
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
Tiny and extremely fast globbing
A minimal fork of nanospy, with more features
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 tiny dependency solver using topological sorting
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)
A tiny inflate implementation
fast, tiny `queueMicrotask` shim for modern engines
Fully type-checked EventEmitter
A tiny secp256k1 JS
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
Factor graph solver
Non-linear optimization problems and solvers for calibration-rs
High-performance nonlinear least squares optimization with Lie group support for SLAM and bundle adjustment