z3-solver
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).
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).
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
Sudoku solver
A wasm build and a simple wrapper of the FreeCAD PlaneGCS (2D geometric constraint solver)
Sudoku Solver
Recreational mathemetics including games and puzzle solvers
Sudoku puzzle generator and solver
Simple sudoku solver
Brent's root finding algorithm, as a generator function.
A root solver for functions using Brent's Method.
A very simple word enumerator
Component library to build configurator apps with Framer based on Viamedici SPC.
Component library to build configurator apps with Framer based on Viamedici SPC. All dependencies are bundled together.
React TypeScript library to build configurator web applications based on the Viamedici Headless Configuration API (HCA).
TypeScript library to build configurator web applications based on the Viamedici Headless Configuration API (HCA).
A non-AI powered node.js library for solving GameFail's captcha.
Build, display, and solve algebraic equations.
Evaluate math expressions and solve equations
HTTP API Client for the rucaptcha.com captcha solving services
Lib support to solve 2D captcha with 2captcha, anticaptcha, deathcaptcha, azcaptcha and ...