statistics
singletons-presburger
Our great sponsors
statistics | singletons-presburger | |
---|---|---|
1 | - | |
295 | 6 | |
0.3% | - | |
6.1 | 7.6 | |
7 months ago | 4 months ago | |
Haskell | Haskell | |
BSD 2-clause "Simplified" 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.
statistics
-
Tweag - Intern opening to improve GHC performance
I just did cabal build | ts -i '[%.s]' and found that https://github.com/haskell/statistics/blob/a2aa25181e50cd63db4a785c20c973a3c4dd5dac/Statistics/Function.hs takes 5 seconds to compile! Quite insane, warrants an issue. Probably related to inlining.
singletons-presburger
We haven't tracked posts mentioning singletons-presburger yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
nimber - Finite nimber arithmetic
ghc-plugs-out - Type checker plugins without the type checking.
statistics-linreg - Linear Regression in Haskell
dimensional - Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
levmar - An implementation of the Levenberg-Marquardt algorithm
vector - An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
fast-math - Play fast and loose with IEEE-754 rewrite RULES
semigroups - Haskell 98 semigroups
linearEqSolver - Solve systems of linear equations, using SMT solvers.
linear - Low-dimensional linear algebra primitives for Haskell.
ms - metric spaces
vector-th-unbox - Deriver for unboxed vectors using Template Haskell