vectorsized
casadibindings
vectorsized  casadibindings  

1    
31  4  
    
4.6  0.0  
5 months ago  over 5 years ago  
Haskell  C++  
BSD 3clause "New" or "Revised" License  GNU Lesser General Public License v3.0 only 
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.
vectorsized

Practical examples of how dependent types are going to help Haskellers who don't know anyhting about them.
I can think of one (correct me if I'm wrong): In the vectorsized library, if I currently index 5 into a vector that's known at compiletime to be only of size 2, I won't get a compiletime error, but throw an error at runtime. I'm guessing after dependent types get introduced, this library's developers can now start giving us a compile time error.
casadibindings
We haven't tracked posts mentioning casadibindings yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
clifford  Clifford algebra for Haskell! :D
vector  An efficient implementation of Intindexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
vectorthunbox  Deriver for unboxed vectors using Template Haskell
rounded  MPFR bindings for Haskell
eigen  Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
vectorspacepoints  A type for points, as distinct from vectors.
grid  Tools for working with regular grids/graphs/lattices.
vectorbinaryinstances  Instances for the Haskell Binary class, for the types defined in the popular vector package.
linear  Lowdimensional linear algebra primitives for Haskell.
vectorspacemap  vectorspace operations for finite maps using Data.Map
estimator  Statespace estimation algorithms and models