flipyA Python linear programming interface library
Stars: ✭ 23 (-61.67%)
lpsolversLinear programming solvers in Python with a unified API
Stars: ✭ 20 (-66.67%)
discrete-math-python-scriptsPython code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+63.33%)
glpk.jsGLPK for browser & node
Stars: ✭ 72 (+20%)
rcbcCOIN-OR branch and cut (CBC) bindings for R
Stars: ✭ 16 (-73.33%)
Py LapsolverFast linear assignment problem (LAP) solvers for Python based on c-extensions
Stars: ✭ 70 (+16.67%)
WarpPIWarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Stars: ✭ 93 (+55%)
Cuckooa memory-bound graph-theoretic proof-of-work system
Stars: ✭ 747 (+1145%)
ZeratoolAutomatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Stars: ✭ 584 (+873.33%)
XpringKitXpringKit provides a Swift SDK for interacting with Xpring Protocols (XRP/PayID/ILP). This library is deprecated.
Stars: ✭ 23 (-61.67%)
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 (+223.33%)
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 (+506.67%)
AnglerFrequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Stars: ✭ 75 (+25%)
Machine-Learning🌎 I created this repository for educational purposes. It will host a number of projects as part of the process .
Stars: ✭ 38 (-36.67%)
PulpA python Linear Programming API
Stars: ✭ 1,080 (+1700%)
OsqpThe Operator Splitting QP Solver
Stars: ✭ 689 (+1048.33%)
SiEPIC Photonics PackageA Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.
Stars: ✭ 22 (-63.33%)
Choco SolverAn open-source Java library for Constraint Programming
Stars: ✭ 518 (+763.33%)
Convex.jlA Julia package for disciplined convex programming
Stars: ✭ 417 (+595%)
PyamgAlgebraic Multigrid Solvers in Python
Stars: ✭ 335 (+458.33%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+203.33%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (+350%)
QpsolversQuadratic Programming solvers in Python with a unified API
Stars: ✭ 157 (+161.67%)
OpennarsOpenNARS for Research 3.0+
Stars: ✭ 264 (+340%)
HiopHPC solver for nonlinear optimization problems
Stars: ✭ 75 (+25%)
libdnfPackage management library.
Stars: ✭ 157 (+161.67%)
VismaVISual MAth - an equation solver and visualizer
Stars: ✭ 71 (+18.33%)
PrioritizrSystematic conservation prioritization in R
Stars: ✭ 62 (+3.33%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (+51.67%)
MayamatchmovesolverA Bundle Adjustment solver for MatchMove related tasks.
Stars: ✭ 50 (-16.67%)
dae-cppA simple but powerful C++ DAE (Differential Algebraic Equation) solver
Stars: ✭ 33 (-45%)
SimplexSolverAn easy-to-use Simplex solver class for linear programming.
Stars: ✭ 18 (-70%)
Cppnumericalsolversa lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Stars: ✭ 638 (+963.33%)
sudokufxAR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Stars: ✭ 64 (+6.67%)
VroomVehicle Routing Open-source Optimization Machine
Stars: ✭ 533 (+788.33%)
Cubejscube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Stars: ✭ 215 (+258.33%)
minizinc-pythonAccess to all MiniZinc functionality directly from Python
Stars: ✭ 92 (+53.33%)
IkMinimal Inverse Kinematics library
Stars: ✭ 340 (+466.67%)
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 (+3990%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (+436.67%)
SkytilsModA Hypixel Skyblock Utilities mod
Stars: ✭ 236 (+293.33%)
DagsfmDistributed and Graph-based Structure from Motion
Stars: ✭ 269 (+348.33%)
Pyro2A framework for hydrodynamics explorations and prototyping
Stars: ✭ 181 (+201.67%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (+343.33%)
PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-70%)
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 (+148.33%)
RECSA solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models
Stars: ✭ 15 (-75%)
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 (-66.67%)
steviaA simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (-50%)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
Stars: ✭ 140 (+133.33%)
osqpThe Operator Splitting QP Solver
Stars: ✭ 929 (+1448.33%)
GenesisZMine the Genesis Block for your Zcashy altcoin
Stars: ✭ 22 (-63.33%)
ProjecteulerPolyglot solutions for www.projecteuler.net mathematical challenges
Stars: ✭ 137 (+128.33%)