dependent-map

Dependently-typed finite maps (partial dependent products) (by obsidiansystems)

Dependent-map Alternatives

Similar projects and alternatives to dependent-map

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better dependent-map alternative or higher similarity.

dependent-map reviews and mentions

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)
    7 projects | /r/haskell | 2 Oct 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.

Stats

Basic dependent-map repo stats
1
61
0.0
over 1 year ago

obsidiansystems/dependent-map is an open source project licensed under LicenseRef-OtherLicense which is not an OSI approved license.

The primary programming language of dependent-map is Haskell.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com