Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Optimization packages

Showing projects tagged as Optimization

  • toysolver

    9.1 7.8 Haskell
    Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • moo

    8.0 3.0 Haskell
    Genetic algorithm library
  • typeparams

    7.8 0.0 Haskell
    ...
  • cmaes

    5.0 0.0 L1 Python
    CMA-ES wrapper in Haskell
  • hermit-syb

    3.8 0.0 Haskell
    HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals.
  • nonlinear-optimization-ad

    3.5 0.0 Haskell
    Wrapper of nonlinear-optimization package for using with AD package
  • spsa

    3.2 0.0 Haskell
    Simultaneous Perturbation Stochastic Approximation Optimization Algorithm
  • spaceprobe

    2.1 0.0 Haskell
    Optimization over arbitrary search spaces