Sized Alternatives

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

• containers-verified

  - 20 0.0 Haskell sized VS containers-verified

  A package re-exporting the verified subset of containers

• type-natural

  0 33 0.0 Haskell sized VS type-natural

  Type-level well-kinded natural numbers.

• Onboard AI

  getonboard.dev

  sponsored

  Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  

• singletons-presburger

  0 6 0.0 Haskell sized VS singletons-presburger

  Presburger arithmetic solver for built-in type-level naturals

• compendium-client

  0 324 0.0 Haskell sized VS compendium-client

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

  

• membrain

  0 60 0.0 Haskell sized VS membrain

  🧠 Type-safe memory units

  

• o-clock

  0 49 0.0 Haskell sized VS o-clock

  :hourglass: Type-safe time units in Haskell

  

• HashedExpression

  0 41 0.0 Haskell sized VS HashedExpression

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

  

• InfluxDB

  www.influxdata.com

  sponsored

  Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.