rcbcCOIN-OR branch and cut (CBC) bindings for R
Stars: ✭ 16 (-30.43%)
lpsolversLinear programming solvers in Python with a unified API
Stars: ✭ 20 (-13.04%)
good lpLinear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
Stars: ✭ 77 (+234.78%)
bltLattice-based integer linear programming solver
Stars: ✭ 60 (+160.87%)
OsqpThe Operator Splitting QP Solver
Stars: ✭ 689 (+2895.65%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+691.3%)
Choco SolverAn open-source Java library for Constraint Programming
Stars: ✭ 518 (+2152.17%)
PyamgAlgebraic Multigrid Solvers in Python
Stars: ✭ 335 (+1356.52%)
pulp-operatorKubernetes Operator for Pulp 3. Under active development.
Stars: ✭ 32 (+39.13%)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
Stars: ✭ 140 (+508.7%)
Cuckooa memory-bound graph-theoretic proof-of-work system
Stars: ✭ 747 (+3147.83%)
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 (+743.48%)
ZeratoolAutomatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Stars: ✭ 584 (+2439.13%)
Machine-Learning🌎 I created this repository for educational purposes. It will host a number of projects as part of the process .
Stars: ✭ 38 (+65.22%)
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 (+1482.61%)
QpsolversQuadratic Programming solvers in Python with a unified API
Stars: ✭ 157 (+582.61%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (+1073.91%)
sudokufxAR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Stars: ✭ 64 (+178.26%)
OpennarsOpenNARS for Research 3.0+
Stars: ✭ 264 (+1047.83%)
Java SmtJavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (+282.61%)
osqpThe Operator Splitting QP Solver
Stars: ✭ 929 (+3939.13%)
robustRobust optimization for power markets
Stars: ✭ 27 (+17.39%)
AnglerFrequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Stars: ✭ 75 (+226.09%)
mbsolveAn open-source solver tool for the Maxwell-Bloch equations.
Stars: ✭ 14 (-39.13%)
MayamatchmovesolverA Bundle Adjustment solver for MatchMove related tasks.
Stars: ✭ 50 (+117.39%)
Cubejscube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Stars: ✭ 215 (+834.78%)
libdnfPackage management library.
Stars: ✭ 157 (+582.61%)
Cppnumericalsolversa lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Stars: ✭ 638 (+2673.91%)
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 (+10569.57%)
VroomVehicle Routing Open-source Optimization Machine
Stars: ✭ 533 (+2217.39%)
Convex.jlA Julia package for disciplined convex programming
Stars: ✭ 417 (+1713.04%)
Pyro2A framework for hydrodynamics explorations and prototyping
Stars: ✭ 181 (+686.96%)
IkMinimal Inverse Kinematics library
Stars: ✭ 340 (+1378.26%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (+295.65%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (+1300%)
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 (+547.83%)
DagsfmDistributed and Graph-based Structure from Motion
Stars: ✭ 269 (+1069.57%)
django-mirage-fieldDjango model field encrypt/decrypt your data, keep secret in database.
Stars: ✭ 86 (+273.91%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (+1056.52%)
ProjecteulerPolyglot solutions for www.projecteuler.net mathematical challenges
Stars: ✭ 137 (+495.65%)
RECSA solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models
Stars: ✭ 15 (-34.78%)
WarpPIWarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Stars: ✭ 93 (+304.35%)
reinforce-js[INACTIVE] A collection of various machine learning solver. The library is an object-oriented approach (baked with Typescript) and tries to deliver simplified interfaces that make using the algorithms pretty simple.
Stars: ✭ 20 (-13.04%)
HiopHPC solver for nonlinear optimization problems
Stars: ✭ 75 (+226.09%)
GenesisZMine the Genesis Block for your Zcashy altcoin
Stars: ✭ 22 (-4.35%)
SkytilsModA Hypixel Skyblock Utilities mod
Stars: ✭ 236 (+926.09%)
NonogramsA very fast japan crosswords (aka nonograms) solver and generator
Stars: ✭ 52 (+126.09%)
VismaVISual MAth - an equation solver and visualizer
Stars: ✭ 71 (+208.7%)
focus-outside📦 一个很棒的 clickOutside 库,它解决了 iframe 无法触发 clickOutside 的问题,并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.
Stars: ✭ 74 (+221.74%)
qpmadROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver
Stars: ✭ 41 (+78.26%)
SimplexSolverAn easy-to-use Simplex solver class for linear programming.
Stars: ✭ 18 (-21.74%)
Py LapsolverFast linear assignment problem (LAP) solvers for Python based on c-extensions
Stars: ✭ 70 (+204.35%)
stiff3Adaptive solver for stiff systems of ODEs using semi-implicit Runge-Kutta method of third order
Stars: ✭ 13 (-43.48%)
TotsuFirst-order conic solver for convex optimization problems
Stars: ✭ 18 (-21.74%)
PrioritizrSystematic conservation prioritization in R
Stars: ✭ 62 (+169.57%)