Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "optimization" keyword
exact-kantorovich 0.1.0.0
This small package allows to compute the exact Kantorovich distance between two finite probabilit...1 version - Latest release: 4 days ago - 0 downloads total - 0 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: 11 months ago - 1 dependent package - 85 downloads total - 8 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 4 years ago - 1 dependent repositories - 3.82 thousand downloads total - 8 stars on GitHub - 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: 11 months ago - 3 dependent packages - 121 downloads total - 8 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: about 1 month ago - 1 dependent repositories - 1.04 thousand downloads total - 3 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: 11 months ago - 1 dependent package - 68 downloads total - 8 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 4 years ago - 1 dependent repositories - 298 downloads total - 8 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 9 years ago - 2.51 thousand downloads total - 4 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: 5 months ago - 1 dependent package - 1 dependent repositories - 94 downloads total - 6 stars on GitHub - 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: over 6 years ago - 1 dependent repositories - 939 downloads total - 43 stars on GitHub - 1 maintainer
MIP-glpk 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP-glpk#readme1 version - Latest release: over 3 years ago - 203 downloads total - 2 stars on GitHub - 1 maintainer
MIP 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP#readme2 versions - Latest release: over 3 years ago - 2 dependent repositories - 938 downloads total - 2 stars on GitHub - 1 maintainer
ad-delcont 0.5.0.0 💰
Reverse-mode automatic differentiation using delimited continuations (shift/reset). The package e...4 versions - Latest release: 10 months ago - 7 dependent repositories - 632 downloads total - 12 stars on GitHub - 1 maintainer
cmaes 0.2.3
9 versions - Latest release: over 3 years ago - 4 dependent repositories - 6.87 thousand downloads total - 2 maintainersmoo 1.2
Moo library provides building blocks to build custom genetic algorithms in Haskell. They can be u...2 versions - Latest release: over 5 years ago - 3 dependent repositories - 13.7 thousand downloads total - 61 stars on GitHub - 1 maintainer
toysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.1 thousand downloads total - 149 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 8 years ago - 6 dependent repositories - 16.8 thousand downloads total - 4 maintainers
pseudo-boolean 0.1.11.0
Reading/Writing OPB/WBO files used in pseudo boolean competition13 versions - Latest release: about 2 months ago - 1 dependent repositories - 8.51 thousand downloads total - 3 stars on GitHub - 1 maintainer
spsa 0.2.0.0
Simultaneous Perturbation Stochastic Approximation in Haskell3 versions - Latest release: over 10 years ago - 1 dependent repositories - 2.36 thousand downloads total - 3 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 months ago - 1 dependent repositories - 5.17 thousand downloads total - 1 maintainer
typeparams 0.0.6
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation7 versions - Latest release: over 9 years ago - 1 dependent repositories - 4.8 thousand downloads total - 41 stars on GitHub - 1 maintainer
goal-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 2 years ago - 1 dependent repositories - 998 downloads total - 8 stars on GitLab.com - 1 maintainer
goal-graphical 0.20
goal-graphical provides tools for with dynamical and graphical models. Various graphical models a...1 version - Latest release: over 2 years ago - 1 dependent repositories - 130 downloads total - 8 stars on GitLab.com - 1 maintainer
goal-probability 0.20
goal-probability provides tools for implementing and applying basic statistical models. The core ...2 versions - Latest release: over 2 years ago - 1 dependent repositories - 958 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 2 years ago - 1 dependent repositories - 946 downloads total - 8 stars on GitLab.com - 1 maintainer
matroid 0.0.0
This library provides typeclasses, instances, and algorithms for working with matroids.3 versions - Latest release: over 3 years ago - 1 dependent repositories - 361 downloads total - 1 maintainer
hermit-syb 0.1.0.0
1 version - Latest release: over 10 years ago - 1.03 thousand downloads total - 1 maintainerconjugateGradient 2.2
Sparse matrix linear-equation solver, using the conjugate gradient algorithm. Note that the techn...8 versions - Latest release: about 11 years ago - 6.36 thousand downloads total - 15 stars on GitHub - 1 maintainer
DifferentialEvolution 0.0.2
2 versions - Latest release: about 13 years ago - 2.25 thousand downloads total - 1 maintainerJikka 5.6.0.0
Please see the README on GitHub at https://github.com/kmyk/Jikka8 versions - Latest release: over 2 years ago - 1.11 thousand downloads total - 150 stars on GitHub - 1 maintainer
Related Keywords
library
30
bsd3
22
math
16
optimisation
14
algorithms
12
haskell
9
automatic-differentiation
6
numerical-optimization
5
statistics
4
program
4
gpl
3
data
3
numerical
3
mathematics
3
mathematical-programming
3
mit
2
mathematical-optimization
2
mixed-integer-programming
2
language
2
constraints
2
formal-methods
2
logic
2
numeric
2
refactoring
1
theorem-prover
1
reflection
1
transformation
1
smt-solver
1
sat-solver
1
parsing
1
pseudo-boolean
1
configuration
1
dependent-types
1
combinatorics
1
transformation-
1
conjugate-gradient
1
sparse-matrix
1
algorithms-
1
compilers-interpreters
1
competitive-programming
1
compiler
1
programming-contests
1
programming-language
1
transpiler
1
apache
1
linear-programming
1
maths
1
bsd-3-clause
1
simplex-method
1
animation
1
game-engine
1
graphics
1
terminal
1
user-interface
1
addition
1
ascii-art
1
ascii-game
1
ascii-graphics
1
collision
1
game
1
laser
1
retrogaming
1
machine-learning
1
adjoint
1
backpropagation
1
gradient
1
ai
1
smt
1
theorem-provers
1