Packages tagged optimization
24 packages have this tag.
[Merge tag] (trustees only)Related tags: library (24), bsd3 (17), optimisation (14), algorithms (11), math (11), data (3), gpl (3), mathematics (3), numerical (3), program (3), constraints (2), formal-methods (2), language (2), logic (2), mit (2), numeric (2), ai (1), algorithms- (1), animation (1), apache (1), combinatorics (1), configuration (1), dependent-types (1), game-engine (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
DifferentialEvolution | 9 | 0.0 | 1 | Global optimization using Differential Evolution | (algorithms-, library, mit, numerical, optimization) | 2011-03-11 | 0.0.2 | VilleTirronen |
MIP | 19 | 0.0 | 2 | Library for using Mixed Integer Programming (MIP) | (algorithms, bsd3, library, math, optimisation, optimization) | 2024-09-04 | 0.1.2.0 | MasahiroSakai |
MIP-glpk | 8 | 0.0 | 0 | A GLPK backend to the MIP library. | (algorithms, gpl, library, math, optimisation, optimization) | 2020-12-26 | 0.1.1.0 | MasahiroSakai |
OptDir | 34 | 0.0 | 3 | The OptDir type for representing optimization directions. | (bsd3, data, library, optimisation, optimization) | 2024-03-20 | 0.1.0 | MasahiroSakai |
ad-delcont | 35 | 2.25 | 0 | Reverse-mode automatic differentiation with delimited continuations | (bsd3, library, machine-learning, math, numeric, optimisation, optimization) | 2023-07-03 | 0.5.0.0 | ocramz |
cmaes | 42 | 0.0 | 1 | CMA-ES wrapper in Haskell | (algorithms, library, numerical, optimization) | 2020-10-10 | 0.2.3 | DominicSteinitz, TakayukiMuranushi |
exact-kantorovich | 7 | 0.0 | 0 | Exact Kantorovich distance between finite probability measures. | (bsd3, library, math, optimization) | 2024-05-08 | 0.1.0.0 | stla |
hermit | 46 | 0.0 | 2 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | 2016-02-23 | 1.0.1 | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |
hermit-syb | 8 | 0.0 | 1 | HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. | (bsd3, language, library, optimization, transformation-) | 2013-11-18 | 0.1.0.0 | AndrewFarmer |
imj-base | 9 | 2.0 | 2 | 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 | 0.1.0.2 | OlivierSohn |
matroid | 15 | 2.0 | 0 | matroid (combinatorial pre-geometries) library | (bsd3, combinatorics, library, mathematics, optimization) | 2021-02-28 | 0.0.0.1.1 | alb |
minizinc-process | 18 | 0.0 | 0 | A set of helpers to call minizinc models. | (apache, library, optimization) | 2024-04-02 | 0.1.5.0 | LucasDiCioccio |
moo | 13 | 2.0 | 2 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation, optimization) | 2018-11-13 | 1.2 | SergeyAstanin |
nonlinear-optimization-ad | 36 | 0.0 | 1 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |
nonlinear-optimization-backprop | 7 | 0.0 | 0 | Wrapper of nonlinear-optimization package for using with backprop package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |
numeric-optimization | 16 | 0.0 | 2 | Unified interface to various numerical optimization algorithms | (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization) | 2023-06-21 | 0.1.1.0 | MasahiroSakai |
numeric-optimization-ad | 11 | 0.0 | 0 | Wrapper of numeric-optimization package for using with AD package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |
numeric-optimization-backprop | 9 | 0.0 | 0 | Wrapper of numeric-optimization package for using with backprop package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |
pseudo-boolean | 71 | 0.0 | 1 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2024-03-14 | 0.1.11.0 | MasahiroSakai |
simplex-method | 11 | 0.0 | 3 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2023-12-02 | 0.2.0.0 | JunaidRasheed |
spaceprobe | 15 | 0.0 | 1 | Optimization over arbitrary search spaces | (bsd3, library, optimization) | 2015-05-27 | 0.3.0 | SeanBurton |
spsa | 16 | 0.0 | 1 | Simultaneous Perturbation Stochastic Approximation Optimization Algorithm | (library, math, mit, optimization) | 2014-01-20 | 0.2.0.0 | yanatan16 |
toysolver | 48 | 0.0 | 4 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2022-09-17 | 0.8.1 | MasahiroSakai |
typeparams | 26 | 0.0 | 1 | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation | (bsd3, configuration, data, dependent-types, library, optimization) | 2015-01-26 | 0.0.6 | MikeIzbicki |