Discokitty Alternatives

Similar projects and alternatives to discokitty

• rzk

  2 182 9.5 Haskell discokitty VS rzk

  An experimental proof assistant based on a type theory for synthetic ∞-categories.

  

• categorifier

  1 56 7.4 Haskell discokitty VS categorifier

  Interpret Haskell programs into any cartesian closed category.

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• lawvere

  6 262 0.0 Haskell discokitty VS lawvere

  A categorical programming language with effects (by jameshaydon)

• LtuPatternFactory

  1 976 0.0 Haskell discokitty VS LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

• data-category

  1 54 3.3 Haskell discokitty VS data-category

  Library of categories, with categorical constructions on them

• free-functors

  0 27 0.0 Haskell discokitty VS free-functors

  Provides free functors that are adjoint to functors that forget class constraints.

• monoidal-functors

  1 16 7.3 Haskell discokitty VS monoidal-functors

  A library encoding monoidal functors and related structures in Haskell.

• WorkOS

  workos.com sponsored

  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.