Cubejscube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Stars: ✭ 215 (+388.64%)
ProjecteulerPolyglot solutions for www.projecteuler.net mathematical challenges
Stars: ✭ 137 (+211.36%)
philsolSimple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.
Stars: ✭ 21 (-52.27%)
libdnfPackage management library.
Stars: ✭ 157 (+256.82%)
MayamatchmovesolverA Bundle Adjustment solver for MatchMove related tasks.
Stars: ✭ 50 (+13.64%)
Pyro2A framework for hydrodynamics explorations and prototyping
Stars: ✭ 181 (+311.36%)
rekenaarIdris tactics for (commutative) monoids
Stars: ✭ 21 (-52.27%)
VismaVISual MAth - an equation solver and visualizer
Stars: ✭ 71 (+61.36%)
odex-jsBulirsch-Stoer integration of systems of ordinary differential equations in JavaScript
Stars: ✭ 52 (+18.18%)
sudokufxAR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Stars: ✭ 64 (+45.45%)
Cppnumericalsolversa lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Stars: ✭ 638 (+1350%)
lpsolversLinear programming solvers in Python with a unified API
Stars: ✭ 20 (-54.55%)
WarpPIWarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Stars: ✭ 93 (+111.36%)
featool-multiphysicsFEATool - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Multi-Physics Simulation Platform)
Stars: ✭ 190 (+331.82%)
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 (+5477.27%)
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 (+238.64%)
HiopHPC solver for nonlinear optimization problems
Stars: ✭ 75 (+70.45%)
HodokuHodoku is a solver/generator/trainer/analyzer for standard sudoku.
Stars: ✭ 49 (+11.36%)
PrioritizrSystematic conservation prioritization in R
Stars: ✭ 62 (+40.91%)
csbA cloth and soft body simulation library, using position based dynamics.
Stars: ✭ 29 (-34.09%)
dae-cppA simple but powerful C++ DAE (Differential Algebraic Equation) solver
Stars: ✭ 33 (-25%)
glpk.jsGLPK for browser & node
Stars: ✭ 72 (+63.64%)
ZeratoolAutomatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Stars: ✭ 584 (+1227.27%)
GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-36.36%)
SkytilsModA Hypixel Skyblock Utilities mod
Stars: ✭ 236 (+436.36%)
CSDP.jlJulia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)
Stars: ✭ 18 (-59.09%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (+106.82%)
fdtd3dfdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures
Stars: ✭ 77 (+75%)
SiEPIC Photonics PackageA Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.
Stars: ✭ 22 (-50%)
cplex-exampleSolving a TSP with the CPLEX C++ API.
Stars: ✭ 40 (-9.09%)
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 (+340.91%)
ruzzle-solverA python script that solves ruzzle boards
Stars: ✭ 46 (+4.55%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+313.64%)
Fluid SimulationSelf advection, external force and pressure solve to a velocity field represented by a MaC grid.
Stars: ✭ 107 (+143.18%)
QpsolversQuadratic Programming solvers in Python with a unified API
Stars: ✭ 157 (+256.82%)
backtrexBacktracking behaviour to solve discrete problems by brute force
Stars: ✭ 22 (-50%)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
Stars: ✭ 140 (+218.18%)
euler2D-kfvs-Fortran20032D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003
Stars: ✭ 17 (-61.36%)
Java SmtJavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (+100%)
stlbfgsC++ L-BFGS implementation using plain STL
Stars: ✭ 21 (-52.27%)
AnglerFrequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Stars: ✭ 75 (+70.45%)
salesman.jsSolves the traveling salesman problem using simulated annealing.
Stars: ✭ 38 (-13.64%)
Py LapsolverFast linear assignment problem (LAP) solvers for Python based on c-extensions
Stars: ✭ 70 (+59.09%)
optaplanner-quickstartsOptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Stars: ✭ 226 (+413.64%)
PulpA python Linear Programming API
Stars: ✭ 1,080 (+2354.55%)
libsmt.rsRust Bindings to interact with SMTLIB2 compliant solvers
Stars: ✭ 14 (-68.18%)
Cuckooa memory-bound graph-theoretic proof-of-work system
Stars: ✭ 747 (+1597.73%)
bltLattice-based integer linear programming solver
Stars: ✭ 60 (+36.36%)
OsqpThe Operator Splitting QP Solver
Stars: ✭ 689 (+1465.91%)
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (+4.55%)
flipyA Python linear programming interface library
Stars: ✭ 23 (-47.73%)
JSMinesweeperMinesweeper player, solver and analyser in javascript
Stars: ✭ 25 (-43.18%)
rcbcCOIN-OR branch and cut (CBC) bindings for R
Stars: ✭ 16 (-63.64%)
ProxSDP.jlSemidefinite programming optimization solver
Stars: ✭ 69 (+56.82%)
numberlinkProgram for generating and solving numberlink / flow free puzzles
Stars: ✭ 47 (+6.82%)
PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-59.09%)