dimensional
estimator
| dimensional | estimator | |
|---|---|---|
| - | - | |
| 109 | 26 | |
| - | - | |
| 6.6 | 0.0 | |
| about 1 month ago | over 8 years ago | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
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.
dimensional
We haven't tracked posts mentioning dimensional yet.
Tracking mentions began in Dec 2020.
estimator
We haven't tracked posts mentioning estimator yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
simple-smt
type-natural - Type-level well-kinded natural numbers.
polynomial - Haskell library for manipulating and evaluating polynomials
computational-algebra - General-Purpose Computer Algebra System as an EDSL in Haskell
units - The home of the units Haskell package
nimber - Finite nimber arithmetic
bayes-stack - Framework for Gibbs sampling of probabilistic models
Kalman - Extended Kalman filtering in Haskell
roots - 1-dimensional root-finding algorithms in Haskell
search - infinite search in finite time with Hilbert's epsilon
singletons-presburger - Presburger arithmetic solver for built-in type-level naturals