sized

Sized sequence data-types (by konn)
Review Haskell Dependent Types GHC type-level-programming Containers
Source Code
Suggest alternative
Edit details
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.
www.influxdata.com
featured

Sized Alternatives

Similar projects and alternatives to sized

konn
sized

  1. HashedExpression

    1 sized VS 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

    0 sized VS 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

    1 sized VS first-class-families

    First-class type families

  7. compendium-client

    5 sized VS compendium-client

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

  8. fcf-containers

    0 sized VS 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

    0 sized VS 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.
Suggest an alternative to sized

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

konn/sized 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 sized is Haskell.

Popular Comparisons

  1. sized VS HashedExpression
  2. sized VS containers-verified
  3. sized VS o-clock
  4. sized VS membrain
  5. sized VS first-class-families
  6. sized VS compendium-client
  7. sized VS fcf-containers
  8. sized VS singletons-presburger

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?

Loading...