dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them (by obsidiansystems)

Dependent-sum Alternatives

Similar projects and alternatives to dependent-sum

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-sum alternative or higher similarity.

dependent-sum reviews and mentions

Posts with mentions or reviews of dependent-sum. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-01.

Stats

Basic dependent-sum repo stats
1
54
4.3
5 months ago

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

The primary programming language of dependent-sum is Haskell.


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