## mixed-strategies

simple-smt | mixed-strategies | |
---|---|---|

- | - | |

20 | 2 | |

- | - | |

0.0 | 0.0 | |

over 1 year ago | about 9 years ago | |

Haskell | Haskell | |

BSD 3-clause "New" or "Revised" License | MIT License |

**mentions**indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.

**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.

## simple-smt

**reviews of simple-smt**. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning simple-smt yet.

Tracking mentions began in Dec 2020.

## mixed-strategies

**reviews of mixed-strategies**. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning mixed-strategies yet.

Tracking mentions began in Dec 2020.

## What are some alternatives?

**dimensional**
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

**lambda-calculator**
- An introduction to the Lambda Calculus

**diophantine**
- A quadratic diophantine equation solver

**hmatrix**
- Linear algebra and numerical computation

**regress**
- Linear and logistic regression through automatic differentiation

**HerbiePlugin**
- GHC plugin that improves Haskell code's numerical stability

**fad**
- Barak's Forward Automatic Differentiation

**manifold-random**
- Coordinate-free hypersurfaces as Haskell types

**linearEqSolver**
- Solve systems of linear equations, using SMT solvers.

**linear**
- Low-dimensional linear algebra primitives for Haskell.

**RANSAC**
- Haskell implementation of the RANSAC algorithm.

**rampart**
- :european_castle: Determine how intervals relate to each other.