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 475 Solver Open Source Projects on Github
Categories
>
Mathematics
>
Solver
Optaplanner
⭐
2,483
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,324
A python Linear Programming API
Osqp
⭐
919
The Operator Splitting QP Solver
Zeratool
⭐
815
Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Cuckoo
⭐
753
a memory-bound graph-theoretic proof-of-work system
Flutter Ai Rubik Cube Solver
⭐
741
Flutter-Python rubiks cube solver.
Vroom
⭐
736
Vehicle Routing Open-source Optimization Machine
Cppnumericalsolvers
⭐
690
a lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Choco Solver
⭐
564
An open-source Java library for Constraint Programming
Angourimath
⭐
488
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.
Texasholdemsolverjava
⭐
469
A Java implemented Texas holdem and short deck Solver
Convex.jl
⭐
455
A Julia package for disciplined convex programming
Commons Math
⭐
430
Miscellaneous math-related utilities
Texassolver
⭐
399
🚀 A very efficient Texas Holdem GTO solver ♠️♥️♣️♦️
Armadillo Code
⭐
393
Armadillo: fast C++ library for linear algebra & scientific computing - http://arma.sourceforge.net
Scs
⭐
388
C package that solves convex cone problems via operator splitting
Nerdamer
⭐
388
a symbolic math expression evaluator for javascript
Pyamg
⭐
385
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数学工具
Pybamm
⭐
270
Fast and flexible physics-based battery models in Python
Opennars
⭐
252
OpenNARS for Research 3.0+
Sundials
⭐
238
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.
Cubejs
⭐
236
cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Qpsolvers
⭐
224
Quadratic programming solvers in Python with a unified API
Pyro2
⭐
207
A framework for hydrodynamics explorations and prototyping
Compas
⭐
196
Core packages of the COMPAS framework.
Optimization Engine
⭐
187
Nonconvex embedded optimization: code generation for fast real-time optimization
Cosmo.jl
⭐
183
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
Stochasticdiffeq.jl
⭐
165
Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem
Featool Multiphysics
⭐
157
FEATool Multiphysics - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Simulation Platform)
Projecteuler
⭐
144
Polyglot solutions for www.projecteuler.net mathematical challenges
Hodlr
⭐
138
A fast, accurate direct solver and determinant computation for dense linear systems
Hystrath
⭐
128
Hypersonic / Rarefied gas dynamics code developments (GPL-3.0)
Libdnf
⭐
127
Package management library.
Cloudflaresolverre
⭐
117
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
Siconos
⭐
115
Simulation framework for nonsmooth dynamical systems
Java Smt
⭐
114
JavaSMT - Unified Java API for SMT solvers.
Hiop
⭐
112
HPC solver for nonlinear optimization problems
Skytilsmod
⭐
102
A Hypixel Skyblock Utilities mod
Constraintsolver.jl
⭐
101
ConstraintSolver in Julia: Blog posts ->
Msat
⭐
86
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.
Warppi
⭐
75
WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Nonogram
⭐
75
Another nonogram (also known as hanjie, picross and griddlers) editor and solver. No dependencies.
Prioritizr
⭐
72
Systematic conservation prioritization in R
Pterasoftware
⭐
70
Ptera Software is a fast, easy-to-use, and open-source software package for analyzing flapping-wing flight.
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.
Proxsdp.jl
⭐
67
Semidefinite programming optimization solver
Osqp Python
⭐
65
Python interface for OSQP
Sudokufx
⭐
63
AR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Rust Lp Modeler
⭐
63
Lp modeler written in Rust
Visma
⭐
61
VISual MAth - an equation solver and visualizer
Py Lapsolver
⭐
61
Fast linear assignment problem (LAP) solvers for Python based on c-extensions
Fdtd3d
⭐
61
fdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures
Good_lp
⭐
60
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
Angler
⭐
57
Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Mayamatchmovesolver
⭐
56
A Bundle Adjustment solver for MatchMove related tasks.
Blt
⭐
55
Lattice-based integer linear programming solver
Paradiseo
⭐
55
A C++ evolutionary computation framework to build parallel stochastic optimization solvers
Shot
⭐
55
A solver for mixed-integer nonlinear optimization problems
Limbo
⭐
54
Library for VLSI CAD Design Useful parsers and solvers' api are implemented.
Glpk.js
⭐
53
GLPK for browser & node
Nomad
⭐
50
NOMAD - A blackbox optimization software
Nasoq
⭐
46
NASOQ:Numerically Accurate Sparsity Oriented QP Solver
Pyranda
⭐
45
A Python driven, Fortran powered Finite Difference solver for arbitrary hyperbolic PDE systems. This is the mini-app for the Miranda code.
Pcp
⭐
43
Constraint programming in Rust
Exolve
⭐
42
Online interactive crossword software in JavaScript
Numberlink
⭐
42
Program for generating and solving numberlink / flow free puzzles
Hashedexpression
⭐
41
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Osqp.jl
⭐
41
Julia interface for OSQP: The Operator Splitting QP Solver
Alpha
⭐
41
A lazy-grounding Answer-Set Programming system
Clapeyron.jl
⭐
41
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.
Qpmad
⭐
40
ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver
Ruzzle Solver
⭐
39
A python script that solves ruzzle boards
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!
Ipc_solver
⭐
38
O(N log N)-space IPC solver in OCaml
Nonograms
⭐
38
A very fast japan crosswords (aka nonograms) solver and generator
Kiwi Solver
⭐
35
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
Driftingdroids
⭐
35
DriftingDroids - yet another Ricochet Robots solver program
Rocalution
⭐
35
Next generation library for iterative sparse solvers for ROCm platform
Jscipopt
⭐
34
Java interface for the SCIP Optimization Suite
Siamfanlequations.jl
⭐
34
This is a Julia package for a book project.
Delaydiffeq.jl
⭐
32
Delay differential equation solvers for the SciML scientific machine learning ecosystem
Naxos
⭐
31
A C++ Constraint Programming Library
Hodoku
⭐
31
Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
Qp_ik_solver
⭐
28
Quadratic program based Inverse kinematic solver for mutli-robotic arms with respect to the kinematic and self-collision avoidance constraints
Dae Cpp
⭐
27
A simple but powerful C++ DAE (Differential Algebraic Equation) solver
Ghost
⭐
26
General meta-Heuristic Optimization Solving Toolkit
Neural Ode Metasolver
⭐
24
Supplementary code for the paper "Meta-Solver for Neural Ordinary Differential Equations" https://arxiv.org/abs/2103.08561
Qpswift
⭐
22
qpSWIFT is a light-weight sparse quadratic programming solver
Scrabble Solver
⭐
21
The ultimate cheating app for Scrabble and Literaki. Available in English, French, Polish & Spanish.
Sparsegdlibrary
⭐
21
MATLAB library of gradient descent algorithms for sparse modeling: Version 1.0.3
Rekenaar
⭐
21
Idris tactics for (commutative) monoids
1-100 of 475 projects
Next >
Related Projects
Python Solver Projects (112)
C Plus Plus Solver Projects (102)
Optimization Solver Projects (59)
Java Solver Projects (51)
Javascript Solver Projects (38)
C Solver Projects (36)
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
Privacy policy
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.