VismaVISual MAth - an equation solver and visualizer
Stars: ✭ 71 (+86.84%)
Cppnumericalsolversa lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Stars: ✭ 638 (+1578.95%)
libdnfPackage management library.
Stars: ✭ 157 (+313.16%)
ProjecteulerPolyglot solutions for www.projecteuler.net mathematical challenges
Stars: ✭ 137 (+260.53%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (+747.37%)
PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-52.63%)
MayamatchmovesolverA Bundle Adjustment solver for MatchMove related tasks.
Stars: ✭ 50 (+31.58%)
philsolSimple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.
Stars: ✭ 21 (-44.74%)
Convex.jlA Julia package for disciplined convex programming
Stars: ✭ 417 (+997.37%)
Cubejscube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Stars: ✭ 215 (+465.79%)
Cosmo.jlCOSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.
Stars: ✭ 149 (+292.11%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (+600%)
dae-cppA simple but powerful C++ DAE (Differential Algebraic Equation) solver
Stars: ✭ 33 (-13.16%)
HiopHPC solver for nonlinear optimization problems
Stars: ✭ 75 (+97.37%)
PrioritizrSystematic conservation prioritization in R
Stars: ✭ 62 (+63.16%)
sudokufxAR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Stars: ✭ 64 (+68.42%)
lpsolversLinear programming solvers in Python with a unified API
Stars: ✭ 20 (-47.37%)
VroomVehicle Routing Open-source Optimization Machine
Stars: ✭ 533 (+1302.63%)
WarpPIWarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Stars: ✭ 93 (+144.74%)
IkMinimal Inverse Kinematics library
Stars: ✭ 340 (+794.74%)
HodokuHodoku is a solver/generator/trainer/analyzer for standard sudoku.
Stars: ✭ 49 (+28.95%)
DagsfmDistributed and Graph-based Structure from Motion
Stars: ✭ 269 (+607.89%)
OptaplannerAI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Stars: ✭ 2,454 (+6357.89%)
QpsolversQuadratic Programming solvers in Python with a unified API
Stars: ✭ 157 (+313.16%)
OpennarsOpenNARS for Research 3.0+
Stars: ✭ 264 (+594.74%)
bltLattice-based integer linear programming solver
Stars: ✭ 60 (+57.89%)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
Stars: ✭ 140 (+268.42%)
ruzzle-solverA python script that solves ruzzle boards
Stars: ✭ 46 (+21.05%)
Java SmtJavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (+131.58%)
flipyA Python linear programming interface library
Stars: ✭ 23 (-39.47%)
AnglerFrequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Stars: ✭ 75 (+97.37%)
GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-26.32%)
Py LapsolverFast linear assignment problem (LAP) solvers for Python based on c-extensions
Stars: ✭ 70 (+84.21%)
glpk.jsGLPK for browser & node
Stars: ✭ 72 (+89.47%)
PulpA python Linear Programming API
Stars: ✭ 1,080 (+2742.11%)
backtrexBacktracking behaviour to solve discrete problems by brute force
Stars: ✭ 22 (-42.11%)
Cuckooa memory-bound graph-theoretic proof-of-work system
Stars: ✭ 747 (+1865.79%)
SkytilsModA Hypixel Skyblock Utilities mod
Stars: ✭ 236 (+521.05%)
OsqpThe Operator Splitting QP Solver
Stars: ✭ 689 (+1713.16%)
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (+21.05%)
ZeratoolAutomatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Stars: ✭ 584 (+1436.84%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (+139.47%)
Choco SolverAn open-source Java library for Constraint Programming
Stars: ✭ 518 (+1263.16%)
stlbfgsC++ L-BFGS implementation using plain STL
Stars: ✭ 21 (-44.74%)
Handeye calib camodocalEasy 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.
Stars: ✭ 364 (+857.89%)
SiEPIC Photonics PackageA Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.
Stars: ✭ 22 (-42.11%)
PyamgAlgebraic Multigrid Solvers in Python
Stars: ✭ 335 (+781.58%)
fdtd3dfdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures
Stars: ✭ 77 (+102.63%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (+610.53%)
SundialsSUNDIALS 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.
Stars: ✭ 194 (+410.53%)
optaplanner-quickstartsOptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Stars: ✭ 226 (+494.74%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+378.95%)
csbA cloth and soft body simulation library, using position based dynamics.
Stars: ✭ 29 (-23.68%)
numberlinkProgram for generating and solving numberlink / flow free puzzles
Stars: ✭ 47 (+23.68%)
odex-jsBulirsch-Stoer integration of systems of ordinary differential equations in JavaScript
Stars: ✭ 52 (+36.84%)
Pyro2A framework for hydrodynamics explorations and prototyping
Stars: ✭ 181 (+376.32%)