hackage.haskell.org "optimization" keyword
matroid 0.0.0
This library provides typeclasses, instances, and algorithms for working with matroids.3 versions - Latest release: about 5 years ago - 1 dependent repositories - 538 downloads total - 1 maintainer
numeric-optimization 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...3 versions - Latest release: almost 3 years ago - 3 dependent packages - 269 downloads total - 8 stars on GitHub - 1 maintainer
conjugateGradient 2.2
Sparse matrix linear-equation solver, using the conjugate gradient algorithm. Note that the techn...8 versions - Latest release: almost 13 years ago - 6.74 thousand downloads total - 16 stars on GitHub - 1 maintainer
numeric-optimization-ad 0.1.0.1
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...2 versions - Latest release: almost 3 years ago - 1 dependent package - 244 downloads total - 8 stars on GitHub - 1 maintainer
toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...16 versions - Latest release: about 1 year ago - 2 dependent repositories - 16.2 thousand downloads total - 158 stars on GitHub - 1 maintainer
spsa 0.2.0.0
Simultaneous Perturbation Stochastic Approximation in Haskell3 versions - Latest release: about 12 years ago - 1 dependent repositories - 2.51 thousand downloads total - 3 stars on GitHub - 1 maintainer
moo 1.2
Moo library provides building blocks to build custom genetic algorithms in Haskell. They can be u...2 versions - Latest release: over 7 years ago - 3 dependent repositories - 13.9 thousand downloads total - 59 stars on GitHub - 1 maintainer
MIP 0.2.0.1
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP#readme5 versions - Latest release: 3 months ago - 2 dependent repositories - 1.28 thousand downloads total - 6 stars on GitHub - 1 maintainer
numeric-optimization-backprop 0.1.0.1
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...2 versions - Latest release: almost 3 years ago - 1 dependent package - 180 downloads total - 8 stars on GitHub - 1 maintainer
OptDir 0.1.0
The OptDir type for representing optimization directions (i.e. minimization and maximization).5 versions - Latest release: about 2 years ago - 1 dependent repositories - 5.66 thousand downloads total - 1 maintainer
cmaes 0.2.3
9 versions - Latest release: over 5 years ago - 4 dependent repositories - 7.32 thousand downloads total - 2 maintainersgoal-graphical 0.20
goal-graphical provides tools for with dynamical and graphical models. Various graphical models a...1 version - Latest release: over 4 years ago - 1 dependent repositories - 195 downloads total - 8 stars on gitlab.com - 1 maintainer
goal-geometry 0.20
goal-geometry provides the basic types and classes which drive the manifold/geometry based approa...2 versions - Latest release: over 4 years ago - 1 dependent repositories - 1.06 thousand downloads total - 8 stars on gitlab.com - 1 maintainer
pseudo-boolean 0.1.12.0
Reading/Writing OPB/WBO files used in pseudo boolean competition14 versions - Latest release: 12 months ago - 1 dependent repositories - 9.29 thousand downloads total - 3 stars on GitHub - 1 maintainer
nonlinear-optimization-ad 0.2.4
This package enhances nonlinear-optimization's usability by using ad's automatic differentiation....6 versions - Latest release: about 6 years ago - 1 dependent repositories - 4.28 thousand downloads total - 8 stars on GitHub - 1 maintainer
simplex-method 0.2.0.0
Please see the README on GitHub at https://github.com/rasheedja/simplex-method#readme2 versions - Latest release: over 2 years ago - 3 dependent packages - 1 dependent repositories - 206 downloads total - 6 stars on GitHub - 1 maintainer
spaceprobe 0.3.0
A parameter optimization library, designed for optimizing over arbitrary search spaces. It is par...4 versions - Latest release: almost 11 years ago - 2.7 thousand downloads total - 4 stars on GitHub - 1 maintainer
DifferentialEvolution 0.0.2
2 versions - Latest release: about 15 years ago - 2.37 thousand downloads total - 1 maintainergoal-core 0.20
goal-core re-exports a number of other libraries, and provides a set of additional utility functi...2 versions - Latest release: over 4 years ago - 1 dependent repositories - 1.1 thousand downloads total - 8 stars on gitlab.com - 1 maintainer
typeparams 0.0.6
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation7 versions - Latest release: about 11 years ago - 1 dependent repositories - 5.08 thousand downloads total - 42 stars on GitHub - 1 maintainer
nonlinear-optimization-backprop 0.2.4
This package enhances nonlinear-optimization's usability by using backprop's automatic differenti...1 version - Latest release: about 6 years ago - 1 dependent repositories - 399 downloads total - 8 stars on GitHub - 1 maintainer
hermit-syb 0.1.0.0
1 version - Latest release: over 12 years ago - 1.09 thousand downloads total - 1 maintainerad-delcont 0.5.0.0 💰
Reverse-mode automatic differentiation using delimited continuations (shift/reset). The package e...4 versions - Latest release: over 2 years ago - 7 dependent repositories - 1.09 thousand downloads total - 15 stars on GitHub - 1 maintainer
hermit 1.0.1
HERMIT is a Haskell-specific toolkit designed to mechanize equational reasoning and program trans...18 versions - Latest release: about 10 years ago - 6 dependent repositories - 17.5 thousand downloads total - 4 maintainers
exact-kantorovich 0.1.0.0
This small package allows to compute the exact Kantorovich distance between two finite probabilit...1 version - Latest release: almost 2 years ago - 72 downloads total - 0 stars on GitHub - 1 maintainer
minizinc-process 0.1.5.0
MiniZinc is a language and a toolchain to solve discrete optimization problems. This package prov...8 versions - Latest release: almost 2 years ago - 1 dependent repositories - 1.37 thousand downloads total - 4 stars on GitHub - 1 maintainer
goal-probability 0.20
goal-probability provides tools for implementing and applying basic statistical models. The core ...2 versions - Latest release: over 4 years ago - 1 dependent repositories - 1.06 thousand downloads total - 8 stars on gitlab.com - 1 maintainer
imj-base 0.1.0.2
Game engine that is intended to help implementing games for the terminal. Contains types and cla...1 version - Latest release: about 8 years ago - 1 dependent repositories - 1.01 thousand downloads total - 42 stars on GitHub - 1 maintainer
Jikka 5.6.0.0
Please see the README on GitHub at https://github.com/kmyk/Jikka8 versions - Latest release: over 4 years ago - 1.44 thousand downloads total - 151 stars on GitHub - 1 maintainer
MIP-glpk 0.2.0.1
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP-glpk#readme3 versions - Latest release: 3 months ago - 302 downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
library
30
Propose Tags
30
bsd3
22
math
16
optimisation
14
algorithms
12
haskell
10
automatic-differentiation
6
numerical-optimization
5
statistics
4
program
4
numerical
3
gpl
3
data
3
mathematics
3
mathematical-programming
3
mixed-integer-programming
2
mathematical-optimization
2
mit
2
language
2
logic
2
formal-methods
2
constraints
2
numeric
2
apache
1
kantorovich-distance
1
animation
1
game-engine
1
graphics
1
transformation
1
combinatorics
1
terminal
1
user-interface
1
reflection
1
addition
1
ascii-art
1
ascii-game
1
ascii-graphics
1
collision
1
game
1
laser
1
retrogaming
1
compilers-interpreters
1
competitive-programming
1
compiler
1
programming-contests
1
programming-language
1
transpiler
1
conjugate-gradient
1
sparse-matrix
1
smt
1
theorem-provers
1
sat-solver
1
smt-solver
1
theorem-prover
1
ai
1
parsing
1
pseudo-boolean
1
linear-programming
1
maths
1
bsd-3-clause
1
simplex-method
1
algorithms-
1
configuration
1
dependent-types
1
transformation-
1
machine-learning
1
adjoint
1
backpropagation
1
gradient
1
refactoring
1