Sized Alternatives

Similar projects and alternatives to sized based on common topics and language

• containers-verified

  0 20 0.0 Haskell sized VS containers-verified

  A package re-exporting the verified subset of containers

• HashedExpression

  1 42 6.1 Haskell sized VS HashedExpression

  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

  

• 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.

  

• type-natural

  0 33 6.2 Haskell sized VS type-natural

  Type-level well-kinded natural numbers.

• singletons-presburger

  0 6 7.6 Haskell sized VS singletons-presburger

  Presburger arithmetic solver for built-in type-level naturals

• compendium-client

  5 326 0.0 Haskell sized VS compendium-client

  Mu (μ) is a purely functional framework for building micro services.

  

• membrain

  0 61 0.0 Haskell sized VS membrain

  🧠 Type-safe memory units

  

• o-clock

  0 49 5.2 Haskell sized VS o-clock

  :hourglass: Type-safe time units 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.