Packages tagged optimization
12 packages have this tag.
[Merge tag] (trustees only)Related tags: library (12), bsd3 (8), algorithms (5), optimisation (5), benchmark (3), data (3), constraints (2), language (2), logic (2), math (2), mit (2), numerical (2), program (2), transformation (2), ...
Name |
DLs |
Rating |
Description |
Tags |
Maintainer |
|---|---|---|---|---|---|
| DifferentialEvolution | 12 | 0.0 | Global optimization using Differential Evolution | (algorithms, library, mit, numerical, optimization) | VilleTirronen |
| OptDir | 14 | 0.0 | The OptDir type for representing optimization directions. | (bsd3, data, library, optimisation, optimization) | MasahiroSakai |
| cmaes | 28 | 0.0 | CMA-ES wrapper in Haskell | (algorithms, library, numerical, optimization) | TakayukiMuranushi |
| hermit | 25 | 0.0 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |
| hermit-syb | 2 | 0.0 | HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. | (bsd3, language, library, optimization, transformation) | AndrewFarmer |
| moo | 1 | 0.0 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation, optimization) | SergeyAstanin |
| nonlinear-optimization-ad | 5 | 0.0 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | MasahiroSakai |
| pseudo-boolean | 63 | 0.0 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | MasahiroSakai |
| spaceprobe | 6 | 0.0 | Optimization over arbitrary search spaces | (benchmark, bsd3, library, optimization) | SeanBurton |
| spsa | 4 | 0.0 | Simultaneous Perturbation Stochastic Approximation Optimization Algorithm | (benchmark, library, math, mit, optimization) | yanatan16 |
| toysolver | 15 | 0.0 | Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc | (algorithms, benchmark, bsd3, constraints, library, logic, optimisation, optimization, program, theorem-provers) | MasahiroSakai |
| typeparams | 7 | 0.0 | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation | (bsd3, configuration, data, dependent-types, library, optimization) | MikeIzbicki |