Popular repositories Loading

1. SAT-solver SAT-solver Public

   Basic SAT solver implemented in Haskell via DPLL algorithm.

   Haskell

2. hyperopt-sklearn hyperopt-sklearn Public

   Forked from hyperopt/hyperopt-sklearn

   Hyper-parameter optimization for sklearn

   Python

3. EQL_Tensorflow EQL_Tensorflow Public

   Forked from martius-lab/EQL_Tensorflow

   Tensorflow implementation of equation learner

   Python

4. pyHanko pyHanko Public

   Forked from MatthiasValvekens/pyHanko

   pyHanko: sign and stamp PDF files

   Python

5. Diophantine Diophantine Public

   Forked from tclose/Diophantine

   A Python implementation of an algorithm for solving systems of diophantine equations

   Python

6. ode-strogatz ode-strogatz Public

   Forked from lacava/ode-strogatz

   A benchmark set of 2-state nonlinear ordinary differential equations adapted from Strogatz's book "Nonlinear Dynamics and Chaos"

   MATLAB