optimization
Lattices
optimization | Lattices | |
---|---|---|
- | - | |
47 | 6 | |
- | - | |
0.0 | 0.0 | |
almost 4 years ago | over 5 years ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | LicenseRef-GPL |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
optimization
We haven't tracked posts mentioning optimization yet.
Tracking mentions began in Dec 2020.
Lattices
We haven't tracked posts mentioning Lattices yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
diophantine - A quadratic diophantine equation solver
vector-space - Vector & affine spaces, linear maps, and derivatives
equational-reasoning - Agda-style equational reasoning in Haskell
matrix - A Haskell native implementation of matrices and their operations.
sfmt
poly - Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
th-cas - Compile time CAS(Computer Algebra System) for Haskell
mltool - Machine Learning Toolbox
rings - Semirings, rings, division rings, and modules.
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
units - The home of the units Haskell package
monte-carlo - A Monte Carlo monad and transformer for Haskell.