dependent-map
Dependently-typed finite maps (partial dependent products) (by obsidiansystems)
securemem
abstraction for auto scrubbing and const time Eq, memory chunk (by vincenthz)
Our great sponsors
dependent-map | securemem | |
---|---|---|
1 | - | |
61 | 17 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | about 4 years ago | |
Haskell | Haskell | |
LicenseRef-OtherLicense | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
dependent-map
Posts with mentions or reviews of dependent-map.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-02.
-
Monthly Hask Anything (October 2021)
Are there any clever ways to abstract the reallyUnsafePtrEquality traversal trick (as found e.g. here). Integrating it into something like uniplate was the only real idea I had, but I'm sure the overhead there would more than negate the saved allocations.
securemem
Posts with mentions or reviews of securemem.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning securemem yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
When comparing dependent-map and securemem you can also consider the following projects:
d10 - Digits 0-9
alfred-margaret - Fast Aho-Corasick string searching
dependent-state
rei - Process lists easily
critbit - A Haskell implementation of crit-bit trees.
massiv - Efficient Haskell Arrays featuring Parallel computation
hierarchy
caledon - higher order dependently typed logic programing
relevant-time - relevant times useful for looking forward or backward in time from a time-anchor
certificate - Certificate and Key Reader/Writer in haskell
conffmt - language-conf - .conf (e.g. nginx configuration) parsers and pretty-printers for the Haskell programming language.
unordered-containers - Efficient hashing-based container types
dependent-map vs d10
securemem vs alfred-margaret
dependent-map vs dependent-state
securemem vs rei
dependent-map vs critbit
securemem vs massiv
dependent-map vs hierarchy
securemem vs caledon
dependent-map vs relevant-time
securemem vs certificate
dependent-map vs conffmt
securemem vs unordered-containers