|over 4 years ago||4 months ago|
|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.
We haven't tracked posts mentioning nimber yet.
Tracking mentions began in Dec 2020.
Rust concepts I wish I learned earlier
3 projects | news.ycombinator.com | 18 Jan 2023
Two things that might help Rust a lot despite the complexity is the tooling and the ecosystem. Cargo is good, the compiler is extremely helpful, and there are a lot of crates to build on for all sorts of tasks.
For example, if I need to use simulated annealing to solve an optimization problem, there already exist libraries that implement that algorithm well. Unfortunately, the Haskell library for this seems to be unmaintained and so does the OCaml library that I can find. Similarly, Agda, Idris, and Lean 4 all seem like great languages. But not having libraries for one's tasks is a big obstacle to adoption.
Nim looks very promising. (Surprisingly so to me.) Hopefully they will succeed at gaining wider recognition and growing a healthy ecosystem.
 E.g., https://github.com/argmin-rs/argmin
 https://hackage.haskell.org/package/hmatrix-gsl-0.19.0.1 was released in 2018. (Although there are newer commits in the GitHub repo, https://github.com/haskell-numerics/hmatrix. Not too sure what is going on.)
What are some alternatives?
hTensor - Multidimensional arrays and simple tensor computations
linear - Low-dimensional linear algebra primitives for Haskell.
algebra - constructive abstract algebra
hmatrix-repa - Compatability between hmatrix and repa matrices and vectors
diagrams-solve - Miscellaneous solver code for diagrams (low-degree polynomials, tridiagonal matrices)
hblas - haskell bindings for blas and lapack
nats - Haskell 98 Natural Numbers
vector - An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
math-functions - Special mathematical functions
fast-math - Play fast and loose with IEEE-754 rewrite RULES
hgeometry - HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.