Awesome Open Source
Awesome Open Source
Combined Topics
solver
x
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
The Top 454 Solver Open Source Projects on Github
Categories
>
Mathematics
>
Solver
Optaplanner
⭐
2,338
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Eigen Git Mirror
⭐
1,622
THIS MIRROR IS DEPRECATED -- New url: https://gitlab.com/libeigen/eigen
Pulp
⭐
1,240
A python Linear Programming API
Osqp
⭐
827
The Operator Splitting QP Solver
Flutter Ai Rubik Cube Solver
⭐
741
Flutter-Python rubiks cube solver.
Cuckoo
⭐
736
a memory-bound graph-theoretic proof-of-work system
Cppnumericalsolvers
⭐
684
a lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Zeratool
⭐
658
Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Vroom
⭐
633
Vehicle Routing Open-source Optimization Machine
Choco Solver
⭐
545
An open-source Java library for Constraint Programming
Convex.jl
⭐
443
A Julia package for disciplined convex programming
Angourimath
⭐
434
Open-source cross-platform symbolic algebra library for C# and F#. One of the most powerful in .NET. Can be used for both production and research purposes.
Commons Math
⭐
416
Miscellaneous math-related utilities
Texasholdemsolverjava
⭐
415
A Java implemented Texas holdem and short deck Solver
Armadillo Code
⭐
394
Armadillo: fast C++ library for linear algebra & scientific computing - http://arma.sourceforge.net
Nerdamer
⭐
370
a symbolic math expression evaluator for javascript
Pyamg
⭐
357
Algebraic Multigrid Solvers in Python
Ik
⭐
320
Minimal Inverse Kinematics library
Handeye_calib_camodocal
⭐
302
Easy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, kinectv2, rgbd cameras, optical trackers, and several robots including the ur5 and kuka iiwa.
Dagsfm
⭐
290
Distributed and Graph-based Structure from Motion. This project includes the official implementation of our Pattern Recognition 2020 paper: Graph-Based Parallel Large Scale Structure from Motion.
Mather
⭐
271
zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Opennars
⭐
252
OpenNARS for Research 3.0+
Cubejs
⭐
234
cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Pybamm
⭐
198
Fast and flexible physics-based battery models in Python
Pyro2
⭐
192
A framework for hydrodynamics explorations and prototyping
Qpsolvers
⭐
191
Quadratic programming solvers in Python with a unified API
Sundials
⭐
188
SUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are welcome for bug fixes and minor changes.
Optimization Engine
⭐
187
Nonconvex embedded optimization: code generation for fast real-time optimization
Cosmo.jl
⭐
178
COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.
Logician
⭐
174
Logic programming in Swift
Compas
⭐
170
Core packages of the COMPAS framework.
Stochasticdiffeq.jl
⭐
148
Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem
Featool Multiphysics
⭐
143
FEATool Multiphysics - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Simulation Platform)
Hodlr
⭐
138
A fast, accurate direct solver and determinant computation for dense linear systems
Projecteuler
⭐
133
Polyglot solutions for www.projecteuler.net mathematical challenges
Hystrath
⭐
119
Hypersonic / Rarefied gas dynamics code developments (GPL-3.0)
Texassolver
⭐
118
🚀 A very efficient Texas Holdem solver ♠️♥️♣️♦️
Cloudflaresolverre
⭐
117
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
Libdnf
⭐
117
Package management library.
Siconos
⭐
114
Simulation framework for nonsmooth dynamical systems
Java Smt
⭐
105
JavaSMT - Unified Java API for SMT solvers.
Hiop
⭐
96
HPC solver for nonlinear optimization problems
Constraintsolver.jl
⭐
92
ConstraintSolver in Julia: Blog posts ->
Msat
⭐
84
A modular sat/smt solver with proof output.
Fluid_simulation
⭐
76
Self advection, external force and pressure solve to a velocity field represented by a MaC grid.
Nonogram
⭐
75
Another nonogram (also known as hanjie, picross and griddlers) editor and solver. No dependencies.
Nloptcontrol.jl
⭐
70
nonlinear control optimization tool
Focus Outside
⭐
70
📦 一个很棒的 clickOutside 库，它解决了 iframe 无法触发 clickOutside 的问题，并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.
Warppi
⭐
69
WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Prioritizr
⭐
67
Systematic conservation prioritization in R
Rust Lp Modeler
⭐
63
Lp modeler written in Rust
Sudokufx
⭐
63
AR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Py Lapsolver
⭐
61
Fast linear assignment problem (LAP) solvers for Python based on c-extensions
Visma
⭐
61
VISual MAth - an equation solver and visualizer
Skytilsmod
⭐
60
A Hypixel Skyblock Utilities mod
Pterasoftware
⭐
59
Ptera Software is a fast, easy-to-use, and open-source software package for analyzing flapping-wing flight.
Angler
⭐
57
Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Osqp Python
⭐
57
Python interface for OSQP
Blt
⭐
55
Lattice-based integer linear programming solver
Fdtd3d
⭐
54
fdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures
Limbo
⭐
54
Library for VLSI CAD Design Useful parsers and solvers' api are implemented.
Mayamatchmovesolver
⭐
53
A Bundle Adjustment solver for MatchMove related tasks.
Proxsdp.jl
⭐
52
Semidefinite programming optimization solver
Shot
⭐
51
A solver for mixed-integer nonlinear optimization problems
Paradiseo
⭐
50
A C++ evolutionary computation framework to build parallel stochastic optimization solvers
Glpk.js
⭐
44
JavaScript port of GLPK
Pcp
⭐
43
Constraint programming in Rust
Good_lp
⭐
41
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
Pyranda
⭐
41
A Python driven, Fortran powered Finite Difference solver for arbitrary hyperbolic PDE systems. This is the mini-app for the Miranda code.
Exolve
⭐
40
Online interactive crossword software in JavaScript
Odex Js
⭐
39
Bulirsch-Stoer integration of systems of ordinary differential equations in JavaScript
Hackq
⭐
39
A MacOS application that intercepts and solves HQ Trivia questions in less then 3 seconds!
Ruzzle Solver
⭐
39
A python script that solves ruzzle boards
Osqp.jl
⭐
38
Julia interface for OSQP: The Operator Splitting QP Solver
Nonograms
⭐
38
A very fast japan crosswords (aka nonograms) solver and generator
Ipc_solver
⭐
38
O(N log N)-space IPC solver in OCaml
Nasoq
⭐
38
NASOQ:Numerically Accurate Sparsity Oriented QP Solver
Alpha
⭐
37
The Alpha solver for lazy-grounding Answer-Set Programming.
Kiwi Solver
⭐
35
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
Jscipopt
⭐
34
Java interface for the SCIP Optimization Suite
Qpmad
⭐
33
ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver
Driftingdroids
⭐
33
DriftingDroids - yet another Ricochet Robots solver program
Rocalution
⭐
31
Next generation library for iterative sparse solvers for ROCm platform
Naxos
⭐
30
A C++ Constraint Programming Library
Hashedexpression
⭐
29
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Clapeyron.jl
⭐
29
Clapeyron (formerly OpenSAFT) provides a framework for the development and use of thermodynamic equations of state, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.
Delaydiffeq.jl
⭐
28
Delay differential equation solvers for the SciML scientific machine learning ecosystem
Qp_ik_solver
⭐
28
Quadratic program based Inverse kinematic solver for mutli-robotic arms with respect to the kinematic and self-collision avoidance constraints
Nomad
⭐
27
NOMAD - A blackbox optimization software
Siamfanlequations.jl
⭐
26
This is a Julia package for a book project.
Neural Ode Metasolver
⭐
24
Supplementary code for the paper "Meta-Solver for Neural Ordinary Differential Equations" https://arxiv.org/abs/2103.08561
Dae Cpp
⭐
22
A simple but powerful C++ DAE (Differential Algebraic Equation) solver
Sparsegdlibrary
⭐
21
MATLAB library of gradient descent algorithms for sparse modeling: Version 1.0.3
Osqp Matlab
⭐
21
Matlab interface for OSQP
Ghost
⭐
21
General meta-Heuristic Optimization Solving Toolkit
Rekenaar
⭐
21
Idris tactics for (commutative) monoids
Scrabble Solver
⭐
21
The ultimate cheating app for Scrabble and Literaki. Available in English, French, Polish & Spanish.
Cplex Example
⭐
20
Solving a TSP with the CPLEX C++ API.
Rsolve
⭐
19
Ask for solutions.
Flipy
⭐
19
A Python linear programming interface library
1-100 of 454 projects
Next >
Related Projects
Python Solver Projects (105)
C Plus Plus Solver Projects (99)
Optimization Solver Projects (56)
Java Solver Projects (49)
Javascript Solver Projects (37)
C Solver Projects (33)
Puzzle Solver Projects (29)
Game Solver Projects (28)
Julia Solver Projects (26)
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.