Dependent-sum Alternatives
Similar projects and alternatives to dependent-sum
-
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
learnyouahaskell.github.io
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
relevant-time
Discontinued relevant times useful for looking forward or backward in time from a time-anchor
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
dependent-sum reviews and mentions
-
Monthly Hask Anything (July 2022)
What is the dependent-sum library for? I must be missing something subtle, because it looks like an over-complicated sum type?
Stats
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.
Popular Comparisons
Sponsored