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.

Suggest an alternative to 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 | | 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.


Basic dependent-map repo stats
7 months ago

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

Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Find remote jobs at our new job board There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.