funsat
build
Our great sponsors
| funsat | build | |
|---|---|---|
| - | 1 | |
| 35 | 230 | |
| - | - | |
| 0.0 | 2.8 | |
| almost 9 years ago | about 2 months ago | |
| Groff | 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.
funsat
We haven't tracked posts mentioning funsat yet.
Tracking mentions began in Dec 2020.
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?
incremental-sat-solver - Simple, Incremental SAT Solving as a Haskell Library
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
twentyseven - Rubik's cube solver in Haskell
cmaes - CMA-ES wrapper in Haskell
Ritt-Wu
nonlinear-optimization-ad - Several Haskell packages for numerical optimizations.
binary-search - Binary and exponential searches
GraphSCC - Tarjan's algorithm for computing strongly connected components
learning-hmm - Yet another Haskell library for hidden Markov models