solver

There are 1304 repositories under solver topic.

  • incubator-kie-optaplanner-quickstarts

    OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

    Language:Java325

  • cubejs

    cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube

    Language:JavaScript316

  • pyro2

    A framework for hydrodynamics explorations and prototyping

    Language:Jupyter Notebook306

  • qCaptchaSolverApi

    qCAPTCHA Solver, reCaptcha v2, OCR Captcha. Chrome-Firefox Extension

    297

  • Playwright-reCAPTCHA

    A Python library for solving reCAPTCHA v2 and v3 with Playwright

    Language:Python290

  • COSMO.jl

    COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

    Language:Julia290

  • postflop-solver

    [Development suspended] An efficient open-source postflop solver library written in Rust

    Language:Rust249

  • desktop-postflop

    [Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance

    Language:Vue248

  • hyStrath

    Hypersonic / Rarefied gas dynamics code developments (GPL-3.0)

    Language:C++229

  • hiop

    HPC solver for nonlinear optimization problems

    Language:C++211

  • conda-libmamba-solver

    The libmamba based solver for conda.

    Language:Python207

  • Logician

    Logic programming in Swift

    Language:Swift195

  • java-smt

    JavaSMT - Unified Java API for SMT solvers.

    Language:Java190

  • libdnf

    Package management library.

    Language:C++183

  • CloudflareSolverRe

    Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.

    Language:C#181

  • ProjectEuler

    Polyglot solutions for www.projecteuler.net mathematical challenges

    Language:Python167

  • angler

    Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices

    Language:Python158

  • HODLR

    A fast, accurate direct solver and determinant computation for dense linear systems

    Language:C++156

  • py-lapsolver

    Fast linear assignment problem (LAP) solvers for Python based on c-extensions

    Language:Python155

  • Nonogram

    Another nonogram (also known as hanjie, picross and griddlers) editor and solver. No dependencies.

    Language:TypeScript144

  • owi

    WebAssembly Swissknife & cross-language bugfinder

    Language:OCaml139

  • RLSolver

    Solvers for NP-hard and NP-complete problems with an emphasis on high-performance GPU computing.

    Language:Python139
  • ConstraintSolver.jl

    ConstraintSolver.jl

    ConstraintSolver in Julia: Blog posts ->

    Language:Julia136

  • Fluid_Simulation

    Self advection, external force and pressure solve to a velocity field represented by a MaC grid.

    Language:C++132

  • prioritizr

    Systematic conservation prioritization in R

    Language:R123

  • nomad

    NOMAD - A blackbox optimization software

    Language:C++120

  • SHOT

    A solver for mixed-integer nonlinear optimization problems

    Language:C++119

  • osqp-python

    Python interface for OSQP

    Language:Python111

  • glpk.js

    GLPK for browser & node

    Language:JavaScript111

  • NLOptControl.jl

    nonlinear control optimization tool

    Language:Julia110

  • WarpPI

    WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

    Language:Java108

  • JSMinesweeper

    Minesweeper player, solver and analyser in javascript

    Language:JavaScript104

  • ffxiv-best-craft

    A crafting simulator and solver for FF14 with friendly GUI.

    Language:Vue103

  • pcp

    Constraint programming in Rust

    Language:Rust103

  • mayaMatchMoveSolver

    A Bundle Adjustment solver for MatchMove related tasks.

    Language:Python102
  • visma

    visma

    VISual MAth - an equation solver and visualizer

    Language:Python101