Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other…
Java
Updated Mar 22, 2019
a memory-bound graph-theoretic proof-of-work system
C++
Updated Mar 20, 2019
L-BFGS-B for TensorFlow or pure C++11 and other optimization methods
C++
Updated Feb 26, 2019
An open-source Java library for Constraint Programming
Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Python
Updated Aug 30, 2018
A Julia package for disciplined convex programming
Algebraic Multigrid Solvers in Python
Python
Updated Mar 16, 2019
Easy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, k…
C++
Updated Apr 23, 2018
OpenNARS 3.0+
a symbolic math expression evaluator for javascript
JavaScript
Updated Mar 16, 2019
Minimal Inverse Kinematics library
C
Updated Feb 25, 2019
Vehicle Routing Open-source Optimization Machine
C++
Updated Mar 20, 2019
Logic programming in Swift
Swift
Updated Sep 21, 2018
cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
JavaScript
Updated Mar 11, 2019
A fast, accurate direct solver and determinant computation for dense linear systems
C++
Updated Feb 13, 2019
A framework for hydrodynamics explorations and prototyping
Jupyter Notebook
Updated Mar 7, 2019
Polyglot solutions for
www.projecteuler.net mathematical challenges
Python
Updated Nov 4, 2018
JavaSMT - Unified Java API for SMT solvers.
Java
Updated Mar 21, 2019
Lattice-based integer linear programming solver
C++
Updated Oct 12, 2018
A modular sat/smt solver with proof output.
OCaml
Updated Mar 16, 2019
Self advection, external force and pressure solve to a velocity field represented by a MaC grid.
C++
Updated Feb 25, 2019
Another nonogram (also known as hanjie, picross and griddlers) editor and solver. No dependencies.
TypeScript
Updated Mar 19, 2018
WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi.
Hypersonic / Rarefied gas dynamics code developments (GPL-3.0)
C++
Updated Mar 12, 2019
COSMO: An ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP). Written in Julia
Julia
Updated Mar 18, 2019
A MacOS application that intercepts and solves HQ Trivia questions in less then 3 seconds!
Swift
Updated Jan 11, 2019
nonlinear control optimization tool
Julia
Updated Nov 17, 2018
A very fast japan crosswords (aka nonograms) solver and generator
C++
Updated Aug 7, 2018
O(N log N)-space IPC solver in OCaml
OCaml
Updated Oct 14, 2016
Systematic conservation prioritization in R
R
Updated Mar 4, 2019
