singletons-presburger
ad
| singletons-presburger | ad | |
|---|---|---|
| - | 6 | |
| 6 | 365 | |
| - | - | |
| 7.6 | 5.9 | |
| 5 months ago | 15 days 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.
singletons-presburger
We haven't tracked posts mentioning singletons-presburger yet.
Tracking mentions began in Dec 2020.
ad
-
Is there an implementation of The Simple Essence of Automatic Differentiation (2018)?
Maybe ad?
-
Backpropagation and Accelerate
I’ll also link the ad package here in case someone can speak to its value over backprop https://github.com/ekmett/ad
-
[ad] Haskell Revitalisation
Apologies in advance for disappointing a few people but the [ad] part in the title doesn't mean Automatic Differentiation but rather means "advertisement".
-
Let's Program a Calculus Student II: Turning Symbolic Differentiation Automatic
Hi everybody! A couple weeks ago, I made a blog post talking about how recursion and pattern matching could be used to translate Calculus formulas into Haskell. This is a follow-up exploring how to use automatic differentiation to calculate those same derivatives as an example of cool stuff that polymorphism allows us to do. (I learned this idea from the ad package and really fell in love with how elegant it is)
- Monthly Hask Anything (March 2022)
- What are some ways I could tickle my (beginner) haskell-brain with something *useful*?
What are some alternatives?
statistics - A fast, high quality library for computing with statistics in Haskell.
modular-arithmetic - A useful type for working with integers modulo some constant.
vector - An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
roots - 1-dimensional root-finding algorithms in Haskell
ghc-plugs-out - Type checker plugins without the type checking.
nimber - Finite nimber arithmetic
dimensional - Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
moving-averages
semigroups - Haskell 98 semigroups
gamma - Haskell implementation of gamma and incomplete gamma functions
linear - Low-dimensional linear algebra primitives for Haskell.
search - infinite search in finite time with Hilbert's epsilon