A polynomial library.

🔍 Twizzle Search — a program to find algs and scrambles for twisty puzzles

An implementation of MiniCP from a Julia Programmer's view

This is a Sudoku solver that solves any Sudoku in a few seconds or recognises it as unsolvable. Its special feature: you can watch it searching for the solution. https://hubertbertling.github.io/sudokuSolver/

Computer algebra system for Android

🥂 Gracefully face hCaptcha challenge with MoE(ONNX) embedded solution.

Essential tools for numerical scientific calculations, simulations and data analysis. Besides several useful tools, this package is featuring expression solver, physical units and dimensional input parameter modules.

Optimizer module which solves given problem. Requires input data in correct form and can return traffic lights cycles

A crafting simulator and solver for FF14 with friendly GUI.

A lazy-grounding Answer-Set Programming system

Skytils is a Hypixel Skyblock mod! Be careful, malicious copies are distributed across GitHub. Confirm on discord.gg/skytils (807302538558308352)

Solve datadome captcha and interstinial challenge with NodeJS

An open-source Java library for Constraint Programming

Simple module to find numerically propagation mode profiles and propagation constants of multimode fibers of arbitrary radial index profiles.

Hyperdoku Solver to solve Hyperdoku Problem, this will work to Sudoku too.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

A linearity-exploiting sparse nonlinear constrained optimization problem solver that uses the interior-point method.

A Python library for solving reCAPTCHA v2 and v3 with Playwright

The libmamba based solver for conda.

HPC solver for nonlinear optimization problems

Multiple-heuristic sokoban solver algorithm implemented in Ada

Package management library.

FEATool - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Multi-Physics Simulation Platform)

Rust software for solving impartial games.

OdinClient is a versatile Forge mod tailored specifically for Hypixel Skyblock, offering a host of features designed to enhance your gameplay. You can access the GUI via the /od or /odinclient commands.

Neuromorphic mathematical optimization with Lava

Tic-tac-toe game made with Linux API System 5

Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.

Apache Commons Math

JavaSMT - Unified Java API for SMT solvers.