Packages tagged optimization
13 packages have this tag.
[Merge tag] (trustees only)Related tags: library (13), bsd3 (9), algorithms (6), optimisation (6), data (3), program (3), constraints (2), formal-methods (2), language (2), logic (2), math (2), mit (2), numerical (2), transformation (2), ai (1), animation (1), configuration (1), dependent-types (1), ...
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
DifferentialEvolution | 24 | 0.0 | Global optimization using Differential Evolution | (algorithms, library, mit, numerical, optimization) | 2011-03-11 | VilleTirronen |
OptDir | 29 | 0.0 | The OptDir type for representing optimization directions. | (bsd3, data, library, optimisation, optimization) | 2013-05-29 | MasahiroSakai |
cmaes | 35 | 0.0 | CMA-ES wrapper in Haskell | (algorithms, library, numerical, optimization) | 2015-09-10 | TakayukiMuranushi |
hermit | 26 | 0.0 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | 2016-02-23 | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |
hermit-syb | 8 | 0.0 | HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. | (bsd3, language, library, optimization, transformation) | 2013-11-18 | AndrewFarmer |
imj-base | 18 | 2.0 | Game engine with geometry, easing, animated text, delta rendering. | (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface) | 2018-01-01 | OlivierSohn |
moo | 14 | 2.0 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation, optimization) | 2018-11-13 | SergeyAstanin |
nonlinear-optimization-ad | 49 | 0.0 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | 2016-05-26 | MasahiroSakai |
pseudo-boolean | 109 | 0.0 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2018-11-25 | MasahiroSakai |
spaceprobe | 16 | 0.0 | Optimization over arbitrary search spaces | (bsd3, library, optimization) | 2015-05-27 | SeanBurton |
spsa | 12 | 0.0 | Simultaneous Perturbation Stochastic Approximation Optimization Algorithm | (library, math, mit, optimization) | 2014-01-20 | yanatan16 |
toysolver | 119 | 0.0 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, theorem-provers) | 2017-10-09 | MasahiroSakai |
typeparams | 18 | 0.0 | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation | (bsd3, configuration, data, dependent-types, library, optimization) | 2015-01-26 | MikeIzbicki |