GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-3.45%)
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 (+8362.07%)
Choco SolverAn open-source Java library for Constraint Programming
Stars: ✭ 518 (+1686.21%)
LibbulletjmeA JNI interface to Bullet Physics and V-HACD
Stars: ✭ 55 (+89.66%)
PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-37.93%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+527.59%)
PulpA python Linear Programming API
Stars: ✭ 1,080 (+3624.14%)
glpk.jsGLPK for browser & node
Stars: ✭ 72 (+148.28%)
SuperPuperDuperLayoutSuper puper duper mega easy awesome wrapper over auto layout!!111!!1!!!1!!!11111!!!1!!
Stars: ✭ 14 (-51.72%)
StoryboardConstraintA simple way to use programmatically Autolayout Constraint created in Storyboard.
Stars: ✭ 25 (-13.79%)
mv-postgresqlPostgresql constraints in migrations similiar to ActiveRecord validations
Stars: ✭ 19 (-34.48%)
backtrexBacktracking behaviour to solve discrete problems by brute force
Stars: ✭ 22 (-24.14%)
sudokufxAR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Stars: ✭ 64 (+120.69%)
fdtd3dfdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures
Stars: ✭ 77 (+165.52%)
stlbfgsC++ L-BFGS implementation using plain STL
Stars: ✭ 21 (-27.59%)
unity-cloth-simulationA mass-spring-damper based real-time cloth simulation I wrote for a class project.
Stars: ✭ 42 (+44.83%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (+213.79%)
WarpPIWarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Stars: ✭ 93 (+220.69%)
VanillaConstraints🍦 Simplified and chainable AutoLayout constraints for iOS.
Stars: ✭ 42 (+44.83%)
optaplanner-quickstartsOptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Stars: ✭ 226 (+679.31%)
DAABBCCDynamic AABB Tree native extension with Branch and Bound Algorithm for Defold Engine
Stars: ✭ 42 (+44.83%)
Cubejscube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Stars: ✭ 215 (+641.38%)
odex-jsBulirsch-Stoer integration of systems of ordinary differential equations in JavaScript
Stars: ✭ 52 (+79.31%)
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 (+568.97%)
Pyro2A framework for hydrodynamics explorations and prototyping
Stars: ✭ 181 (+524.14%)
ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Stars: ✭ 190 (+555.17%)
DriftwoodDriftwood is a DSL to make Auto Layout easy on iOS, tvOS and macOS.
Stars: ✭ 14 (-51.72%)
conjureConjure: The Automated Constraint Modelling Tool
Stars: ✭ 84 (+189.66%)
philsolSimple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.
Stars: ✭ 21 (-27.59%)
ufomapUFOMap: An Efficient Probabilistic 3D Mapping Framework That Embraces the Unknown
Stars: ✭ 117 (+303.45%)
BoxPruningBroad-phase optimizations.
Stars: ✭ 45 (+55.17%)
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 (+413.79%)
SkytilsModA Hypixel Skyblock Utilities mod
Stars: ✭ 236 (+713.79%)
libdnfPackage management library.
Stars: ✭ 157 (+441.38%)
parry2D and 3D collision-detection library for Rust.
Stars: ✭ 267 (+820.69%)
SSCD.jsSuper Simple Collision Detection for JavaScript games!
Stars: ✭ 88 (+203.45%)
HodokuHodoku is a solver/generator/trainer/analyzer for standard sudoku.
Stars: ✭ 49 (+68.97%)
pycsp3A Python Library for modeling combinatorial constrained problems
Stars: ✭ 39 (+34.48%)
numberlinkProgram for generating and solving numberlink / flow free puzzles
Stars: ✭ 47 (+62.07%)
SiEPIC Photonics PackageA Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.
Stars: ✭ 22 (-24.14%)
django-db-constraintsAdd database table-level constraints to your Django model's Meta
Stars: ✭ 43 (+48.28%)
ProjecteulerPolyglot solutions for www.projecteuler.net mathematical challenges
Stars: ✭ 137 (+372.41%)
bltLattice-based integer linear programming solver
Stars: ✭ 60 (+106.9%)
QpsolversQuadratic Programming solvers in Python with a unified API
Stars: ✭ 157 (+441.38%)
lpsolversLinear programming solvers in Python with a unified API
Stars: ✭ 20 (-31.03%)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
Stars: ✭ 140 (+382.76%)
FormidableThe PHP pragmatic forms library
Stars: ✭ 116 (+300%)
ruzzle-solverA python script that solves ruzzle boards
Stars: ✭ 46 (+58.62%)
Java SmtJavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (+203.45%)
dae-cppA simple but powerful C++ DAE (Differential Algebraic Equation) solver
Stars: ✭ 33 (+13.79%)
HiopHPC solver for nonlinear optimization problems
Stars: ✭ 75 (+158.62%)
AnglerFrequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Stars: ✭ 75 (+158.62%)
flipyA Python linear programming interface library
Stars: ✭ 23 (-20.69%)
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (+58.62%)