The Operator Splitting QP Solver
Captcha solver extension for humans
Python Optimal Transport
Differentiable SDE solvers with GPU support and efficient sensitivity
Statistics for the best Sokoban solver programs
The GNU Prolog native compiler
Sokoban solver written in Ada
Framework for intelligent service-based networks. Mobile compatible.
Optimal control, trajectory optimization, model-predictive control.
Bidirectional LSTM-CRF and ELMo for Named-Entity Recognition
Traveling Salesman Problem "window time based" aproximate solver
DisChoco: Distributed Constraint Reasoning Solver
The easiest C++ way to deal with constraints !
Elementary Arithmetic Word Problem Solver