Projects in Awesome Lists tagged with solvers
A curated list of projects in awesome lists tagged with solvers .
https://github.com/eigenteam/eigen-git-mirror
THIS MIRROR IS DEPRECATED -- New url: https://gitlab.com/libeigen/eigen
blas cplusplus lapack linear-algebra matrix solvers sparse-matrix
Last synced: 15 May 2025
https://github.com/pybamm-team/pybamm
Fast and flexible physics-based battery models in Python
batteries battery-models hacktoberfest pybamm python simulation solvers
Last synced: 05 Mar 2026
https://github.com/pybamm-team/PyBaMM
Fast and flexible physics-based battery models in Python
batteries battery-models hacktoberfest pybamm python simulation solvers
Last synced: 07 May 2025
https://github.com/rapidsai/raft
RAFT contains fundamental widely-used algorithms and primitives for machine learning and information retrieval. The algorithms are CUDA-accelerated and form building blocks for more easily writing high performance applications.
anns building-blocks clustering cuda distance gpu information-retrieval linear-algebra llm machine-learning nearest-neighbors neighborhood-methods primitives random-sampling solvers sparse statistics vector-search vector-similarity vector-store
Last synced: 14 May 2025
https://github.com/PatWie/CppNumericalSolvers
a lightweight header-only C++17 library of numerical optimization methods for nonlinear functions based on Eigen
bfgs cpp11 eigen gradient-computation lbfgs lbfgs-solver lbfgsb-solver mathematics minimization minimization-algorithm newton numerical-optimization-methods optim optimisation optimization optimization-algorithms optimization-tools solver solvers
Last synced: 15 Mar 2025
https://github.com/patwie/cppnumericalsolvers
a lightweight header-only C++17 library of numerical optimization methods for nonlinear functions based on Eigen
bfgs cpp11 eigen gradient-computation lbfgs lbfgs-solver lbfgsb-solver mathematics minimization minimization-algorithm newton numerical-optimization-methods optim optimisation optimization optimization-algorithms optimization-tools solver solvers
Last synced: 16 May 2025
https://github.com/rust-or/good_lp
Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
cbc linear-programming linear-programs lp-modeler lpsolve optimization solvers
Last synced: 10 Aug 2025
https://github.com/SciML/StochasticDiffEq.jl
Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem
adaptive differential-equations differentialequations hacktoberfest ito noise random random-differential-equations rde rode scientific-machine-learning sciml sde sode solvers stochastic stochastic-differential-equations stochastic-processes stratonovich
Last synced: 22 Jul 2025
https://github.com/clapeyronthermo/clapeyron.jl
Clapeyron provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.
cosmo-sac equation-of-state julia molecular-modeling phase-equilibria phase-equilibrium saft solvers thermodynamics unifac
Last synced: 07 Feb 2026
https://github.com/ClapeyronThermo/Clapeyron.jl
Clapeyron provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.
cosmo-sac equation-of-state julia molecular-modeling phase-equilibria phase-equilibrium saft solvers thermodynamics unifac
Last synced: 24 Feb 2025
https://github.com/camUrban/PteraSoftware
Ptera Software is a fast, easy-to-use, and open-source software package for analyzing flapping-wing flight.
aerodynamics aeronautics aerospace aerospace-engineering aircraft-design cfd computational-biology computational-fluid-dynamics ornithology ornithopter potential-flow python pyvista simulation solvers uav unmanned-aerial-vehicle unsteady-flows vlm vortex-lattice-method
Last synced: 14 Mar 2025
https://github.com/siconos/siconos
Simulation framework for nonsmooth dynamical systems
bouncing-ball complementarity-solvers impact mcp nonsmooth-dynamical-systems numerical-calculations optimization python scientific-computing simulation solvers variational-inequality
Last synced: 09 Apr 2025
https://github.com/qpsolvers/qpbenchmark
Benchmark for quadratic programming solvers available in Python
benchmark optimization qpbenchmark quadratic-programming solvers
Last synced: 06 Apr 2026
https://github.com/DestructHub/ProjectEuler
Polyglot solutions for www.projecteuler.net mathematical challenges
clojure common-lisp contests cplusplus-11 elixir hackertoberfest haskell lua mathematics polyglot projecteuler python solver solvers
Last synced: 26 Mar 2025
https://github.com/destructhub/projecteuler
Polyglot solutions for www.projecteuler.net mathematical challenges
clojure common-lisp contests cplusplus-11 elixir hackertoberfest haskell lua mathematics polyglot projecteuler python solver solvers
Last synced: 20 Aug 2025
https://github.com/limbo018/Limbo
Library for VLSI CAD Design Useful parsers and solvers' api are implemented.
cad eda parsers solvers vlsi-design
Last synced: 14 Mar 2025
https://github.com/nojhan/paradiseo
An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers
algorithm cpp cpp17 evolutionary-algorithm framework metaheuristics optimization optimization-algorithms paradiseo parallelization search-heuristics solvers
Last synced: 04 Apr 2025
https://github.com/gnboorse/centipede
Constraint Satisfaction Problem Solver for Golang
arc-consistency constraint-programming constraint-satisfaction-problem csp go golang heuristic solver solvers
Last synced: 12 Jan 2026
https://github.com/sciml/delaydiffeq.jl
Delay differential equation (DDE) solvers in Julia for the SciML scientific machine learning ecosystem. Covers neutral and retarded delay differential equations, and differential-algebraic equations.
adaptive dde delay-differential-equations differential-equations differentialequations julia ode scientific-machine-learning sciml solvers stiff
Last synced: 20 Jan 2026
https://github.com/roboticslab-uc3m/kinematics-dynamics
Kinematics and dynamics solvers and controllers.
kinematics robotics screw-theory solvers
Last synced: 19 Jan 2026
https://github.com/mantevo/minife
MiniFE Finite Element Mini-Application
ecp finite-elements miniapp minife snl-mini-apps solver solvers
Last synced: 18 Feb 2026
https://github.com/sisl/pomdpstresstesting.jl
Adaptive stress testing of black-box systems within POMDPs.jl
black-box pomdps simulation solvers stress-test
Last synced: 08 Mar 2026
https://github.com/aa-labs/hivm
Integrate Intent Instantly: where sophistication meets simplicity. ETHIndia'23 Finalist
1inch account-abstraction assembler bungee erc4337 eth-india ethereum intents micro-rollups solvers stackr virutal-machine
Last synced: 30 Apr 2025
https://github.com/pybamm-team/pybamm.org
Source code for the pybamm.org website
batteries hacktoberfest pybamm python simulation solvers
Last synced: 17 Jan 2026
https://github.com/acorrenson/modulus
A constraint solver built from scratch in OCaml
hacktoberfest logic logic-programming sat sat-solver smt smt-lib smt-solver solver solvers theories
Last synced: 09 Jul 2025
https://github.com/joaomlneto/cpds-heat
Heat Equation using different solvers (Jacobi, Red-Black, Gaussian) in C using different paradigms (sequential, OpenMP, MPI, CUDA) - Assignments for the Concurrent, Parallel and Distributed Systems course @ UPC 2013
cuda cuda-support gauss-seidel gaussian heat-equation jacobi mpi mpi-applications openmp openmp-applications openmp-parallelization openmp-support openmpi paradigms performance red-black solvers
Last synced: 22 Apr 2025
https://github.com/aa-labs/solvnet
Empowering users and solvers with decentralized liquidity sharing
account-abstraction avail erc7579 ethereum intents layerzero phala-network solidity solvers
Last synced: 13 Apr 2025
https://github.com/fjebaker/zigode
⚡️ Ordinary differential equations in Zig.
differential-equations ode ode-solver ordinary-differential-equations solvers tsit5 zig
Last synced: 07 Apr 2025
https://github.com/chrisvander/2048-expectimax
A 2048 AI, written in C++ using an ASCII interface and the Expectimax algorithm.
2048 2048-game ai ansi ascii bitboards expectation-maximization expectimax multithreading solvers
Last synced: 15 Apr 2025
https://github.com/beling/impartial-games
Rust software for solving impartial games.
cgt chomp chomp-game combinatorial-game combinatorial-game-theory cram game-tree game-tree-search grundy impartial-games mex solver solvers sprague transposition-table
Last synced: 11 Jul 2025
https://github.com/shlomif/abc-path
Solvers, Generators, etc. for the game ABC Path
game games generator hacktoberfest javascript metacpan perl perl5 riddle-game riddles solver solvers typescript
Last synced: 13 Sep 2025
https://github.com/iamnapo/project-euler
🔭 Solutions for Project Euler problems, in JavaScript.
euler javascript mathematics projecteuler solvers
Last synced: 15 Apr 2025
https://github.com/mseri/ocaml-cviode
Contact variational integrators - native ocaml implementation
geometric-integrator hacktoberfest solvers
Last synced: 11 Jul 2025
https://github.com/danarmor/sudoku_set
Sudoku solver based on bit sets
alghorithm algorithms bitset c education educational pure-c set sets solver solvers sudoku sudoku-solver
Last synced: 28 May 2026
https://github.com/acorrenson/neutron
A Coq-certified preprocessor for boolean logic formulae
logic logic-programming sat sat-solver solvers
Last synced: 14 Mar 2025
https://github.com/cakevm/cowprotocol-solvers-dto-alloy
The solvers-dto but using the Alloy type system
Last synced: 27 May 2026
https://github.com/beling/puzzles
Rust software for solving combination puzzles.
15-puzzle 15-puzzle-game 15-puzzle-solver 15puzzle puzzle puzzle-game puzzle-solution puzzle-solver puzzle-solvers puzzles rust rust-lang sliding-puzzle-game solver solvers
Last synced: 15 Mar 2025
https://github.com/iamnapo/advent-of-code
🎄 Solutions for Advent of Code problems, in JavaScript.
advent-of-code adventofcode aoc javascript solvers
Last synced: 23 Oct 2025
https://github.com/sumith1896/skosette
Reimplementation of the Skolem function generation using Rosette
program-synthesis racket solvers
Last synced: 19 Mar 2026
https://github.com/romanstrazanec/mgsolver
Collection of mini game solvers
minigame nonogram nonogram-solver python solvers sudoku sudoku-solver
Last synced: 13 Oct 2025
https://github.com/massimostanzione/one-rj-scheduling
Project for the exam "Algoritmi e Modelli per l'Ottimizzazione Discreta"
ampl discrete-optimization solvers
Last synced: 24 Apr 2026
https://github.com/rwehresmann/prolog-programs
Puzzle solvers and other utilities developed with Prolog.
boolean-satisfability coins-problem prolog solvers swi-prolog truth-table
Last synced: 29 Jan 2026
https://github.com/akshay326/optimization-with-python
Python implementation of classical optimization problems
linear-programming mixed-integer-programming neos non-convex optimization pyomo solvers
Last synced: 20 Jun 2025
https://github.com/saptak625/physicssolvers
Physics Solvers(Kinematics and Forces)
guess-method java physics-solvers solvers
Last synced: 21 Mar 2025