Data-category Alternatives
Similar projects and alternatives to data-category
-
-
-
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.
-
-
-
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
-
proto-lens
API for protocol buffers using modern Haskell language and library patterns.
-
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.
-
order-statistic-tree
Order statistic tree in Haskell (by lambdakazan)
-
-
-
-
-
haskell-platform
Discontinued Distribution of Haskell with batteries included
-
dependent-map
Dependently-typed finite maps (partial dependent products)
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
data-category reviews and mentions
-
Monthly Hask Anything (October 2021)
Even a fairly simple statement like "F preserves direct limits over N" is basically impossible to express like this. You can step further from Hask and work at the type level until the very end (which I believe is the approach taken by data-category), you can resign yourself to only expressing things that can be "defunctionalized" (an appropriate use of the term, I think, if not a correct one) down to Haskell functions, which gets you (Co)Yoneda, Lan, Ran, etc. in the general case and I think Traversable in this particular instance, or you can take some intermediate approach with constrained functions and/or explicit witnesses in your data types, but you can't make proper category theory "just work" the way it should.
Stats
sjoerdvisscher/data-category is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of data-category is Haskell.