Architecture Ground Language — verifiable specifications for agents, humans, and CI
Solve 24 Game with less duplicated results.
z3-solver fork used in js-randomness-predictor
Captcha-solving runtime primitives for MagicPay and agent workflows
Boggle grid solver
A simple puppeteer wrapper to enable useful plugins with ease
MQTT client for vsm sensors
Step by step math solutions
A crafting solver for FINAL FANTASY XIV
Solver / formatter for Nonograms (Griddlers, Picross, Hanjie, Japanese Crosswords)
A library made to solve KTaNE modules
MCP server for Google search via warm Chrome profile. No API key.
A Typescript implementation of the Nearest Neighbor with 2-opt and 3-opt optimizations to solve the travelling salesman problem (TSP).
A comprehensive toolkit for implementing Private Market Makers (PMMs) in the PetaFi cross-chain trading network. This guide covers the required integration points between PMMs and our solver backend, enabling cross-chain liquidity provision and settlement
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
WebAssembly version of the SCS convex programming solver
End-to-end chain abstraction and modularity toolkit
High-performance solver for a variety of board sizes using NNUE + alpha-beta pruning. Bindings for WASM, Node.js, and React Native.
Rubik's Cube solver using Kociemba's two-phase algorithm
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
## How to relase and publish a new version
SEO audit and comparison CLI tool
A modern CLI companion for automating your https://instaling.pl sessions
Modules of different protocols for solvers