Wordle (Gurgle) solver with code from https://github.com/PoorLazyCoder/Wordle-So

Java12apache-2.0

5 months ago

The open source AI solver. Timefold is the successor of OptaPlanner, by the Opta

Java341apache-2.0

7 months ago

aiartificial-intelligenceconstraint-programming

Captcha solver extension for humans, available for Chrome, Edge and Firefox

JavaScript6853gpl-3.0

9 months ago

browser-extensioncaptchacaptcha-solver

Java Constraint Programming solver

Java211other

7 months ago

FLARE Obfuscated String Solver - Automatically extract obfuscated strings from m

Python3012apache-2.0

7 days ago

deobfuscationflaregsoc-2024

Supernodal sparse direct solver. https://portal.nersc.gov/project/sparse/superl

C248other

2 months ago

Android crossword solver

Java33gpl-3.0

5 months ago

anagramsandroid-crossword-solvercrossword

FiPy is a Finite Volume PDE solver written in Python

Python455other

2 months ago

materials-sciencemodelingpartial-differential-equations

Description Chaldea is a material planner and battle simulator for Fate/GO. H

Dart289agpl-3.0

17 hours ago

f-droidfate-grand-orderfgo

Communication between Coq and SAT/SMT solvers

OCaml145other

5 months ago

Parallel solvers for sparse linear systems featuring multigrid methods.

C598other

2 months ago

hpclibrarymath-physics

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capab

Python1191apache-2.0

last month

deep-learningdifferential-equationsdynamical-systems

Algebraic Multigrid Solvers in Python

Python527mit

3 months ago

amgcondakrylov

Multi-language suite for high-performance solvers of differential equations and

Julia2718other

2 months ago

daeddedelay-differential-equations

Mostly to pretend to be good at number game

Java0gpl-3.0

2 years ago

simple CAPTCHA solver in python :snake:

Python535mit

6 years ago

captcha-solverpython

Android - An awesome and instantaneous Anagram Solver

Java42mit

3 years ago

Implementing basic model and behavior of Rubic's Cube in Swift, no UI nor Solver

Swift17

4 years ago

A configurable constraint solver

Elixir39mit

8 years ago

Ring solver for Idris

Idris20

5 years ago

Actionscript 3.0 library for FFT, SURF, edge detection, fluid solver, etc

C2mit

7 years ago

ODE system solver made simple. For IVPs (initial value problems).

Go23bsd-3-clause

2 years ago

differential-equationsdormand-princegolang

A Swift port of the Cassowary linear constraint solver

Swift110bsd-3-clause

5 years ago

cassowaryconstraint-solverswift

Sudoku solver in zig

Zig6

4 years ago

sudoku-solverzig

Rubik's cube solver that runs in a web browser, written in rust.

Rust8

2 years ago

puzzlerubiks-cubewebsite

Ada wrapper for the fast Stachniss' Hungarian solver

Ada2other

6 years ago

Cosette is an automated SQL solver.

Lean642bsd-2-clause

2 years ago

coqdatabaserosette

Programmatic maze generator and solver, built with Swift 3. Apple's WWDC17 schol

Swift9

7 years ago

appleiosmacos

Fast Matrix Multiplication and Linear Solver on MicroPython

Python0mit

5 years ago

linear algebramatrixmicropython

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

Coq20lgpl-2.1

last year

coqnix-actionsudoku

Crossword app for Android with a modern, intuitive interface. Quickly and effort

Kotlin28mit

2 years ago

androidcrosswordlibrary

An automatic code generator for nonlinear model predictive control (NMPC) and th

C++111mit

last year

c-gmrescode-generationcode-generator

An automatic code generator for nonlinear model predictive control (NMPC) and th

C++145mit

last year

c-gmrescode-generationcode-generator

Eigen is a C++ template library for linear algebra: matrices, vectors, numerical

C++679other

last year