dependent-map

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

Dependent-map Alternatives

Similar projects and alternatives to dependent-map

  1. nixpkgs

    Nix Packages collection & NixOS

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  3. zeal

    Offline documentation browser inspired by Dash

  4. Hasklig

    Hasklig - a code font with monospaced ligatures

  5. haskell-platform

    Discontinued Distribution of Haskell with batteries included

  6. data-fix

    Fixpoint data types

  7. constraint-tuples

    Partially applicable constraint tuples

  8. dependent-sum

    Dependent sums and supporting typeclasses for comparing and displaying them

  9. datasets

    UCI Datasets for Haskell (by glutamate)

  10. unicode-transforms

    Fast Unicode normalization in Haskell

  11. th-format

    Template Haskell based support for format strings

  12. d10

    Digits 0-9

  13. data-category

    Library of categories, with categorical constructions on them

  14. fasta

    The Fasta type as used by my programs.

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 discussion

Log in or Post with

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
65
4.7
8 months ago

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