ADPfusion
build
Our great sponsors
ADPfusion | build | |
---|---|---|
1 | 1 | |
26 | 230 | |
- | - | |
5.1 | 2.8 | |
10 months ago | about 2 months ago | |
Haskell | TeX | |
BSD 3-clause "New" or "Revised" License | MIT 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.
ADPfusion
-
Is Haskell Dynamic Programming Hard?
Might ADPfusion, a Haskell dynamic programming library be what you are looking for? ADPFusion on GitHub.
build
-
Build systems à la carte (2018)
Code is available at https://github.com/snowleopard/build
I skimmed the paper - this is interesting on many aspects but I liked the breadth of what they analyzed... they use Excel as one of the examples!
I know it is a valuable skill to be able to efficiently break down problems into abstractions but I suspect you would still end up with "porcelain"[0] that would hide so much of this it might not be worth it. Or maybe it is so generic it becomes a standard of sorts (or certainly a standard way of doing things) with flavors of implementations on top of it?
In the conclusion they say:
> ... a simple recombination leads to a design for a monadic suspending cloud build system ...
Totally over my head as I still don't grok monads despite my belief I use them or something very close to them all the time without realizing it. I could not implement one. Anyway, I digress... neat paper and I will keep working on digesting it.
[0] https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Po...
What are some alternatives?
treeviz - Haskell library for visualizing algorithmic decomposition of computations.
spacefill - Space-filling curves
graph-generators - A Haskell library for creating random Data.Graph instances using several pop
text-metrics - Calculate various string metrics efficiently in Haskell
ADPfusionSet - dynamic programming for set data structures
funsat - An efficient, embeddable DPLL SAT solver in Haskell
arithmoi - Number theory: primes, arithmetic functions, modular computations, special sequences
cmaes - CMA-ES wrapper in Haskell
twentyseven - Rubik's cube solver in Haskell
nonlinear-optimization-ad - Several Haskell packages for numerical optimizations.
GraphSCC - Tarjan's algorithm for computing strongly connected components