The Ultimate Mathematical & AI Toolkit: Sublinear algorithms, consciousness exploration, psycho-symbolic reasoning, chaos analysis, and temporal prediction in one unified MCP interface. WASM-accelerated with Lyapunov exponents and attractor dynamics.
Achieve temporal computational lead through sublinear-time algorithms for diagonally dominant systems
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
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.
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).
A dependency solver for the elm ecosystem
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
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 high density zero-obstacle solver
Hyper-optimized strange loops with temporal consciousness and quantum-classical hybrid computing. NPX: npx strange-loops
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
Node.js binding for the HiGHS optimization solver
unit bezier curve interpolation
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance
manage to solve captcha challenges with node
A tiny dependency solver using topological sorting
Scrabble Solver 2 - Solver
A psycho-symbolic reasoning framework combining symbolic AI with psychological context using Rust WASM and FastMCP integration
High-performance sublinear-time solver for asymmetric diagonally dominant systems
Hyper-optimized strange loops with temporal consciousness and quantum-classical hybrid computing. NPX: npx strange-loops
Subjective Time Expansion for AI Consciousness - A breakthrough framework enabling individual agents to experience dilated time perception for enhanced cognitive processing
High-performance framework for benchmarking temporal prediction algorithms inspired by Time-R1