sized

Sized sequence data-types (by konn)

Sized Alternatives

Similar projects and alternatives to sized

  1. HashedExpression

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

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
  3. containers-verified

    A package re-exporting the verified subset of containers

  4. o-clock

    0 sized VS o-clock

    :hourglass: Type-safe time units in Haskell

  5. membrain

    0 sized VS membrain

    🧠 Type-safe memory units

  6. first-class-families

    First-class type families

  7. compendium-client

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

  8. fcf-containers

    fcf-containers add tools that can be used with first-class-families

  9. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  10. singletons-presburger

    Presburger arithmetic solver for built-in type-level naturals

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better sized alternative or higher similarity.

sized discussion

Log in or Post with

sized reviews and mentions

Posts with mentions or reviews of sized. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning sized yet.
Tracking mentions began in Dec 2020.

Stats

Basic sized repo stats
0
11
5.7
5 months ago

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io

Did you know that Haskell is
the 25th most popular programming language
based on number of references?