Void Alternatives

Similar projects and alternatives to void

• justified-containers

  0 79 0.0 Haskell void VS justified-containers

  Standard containers, with keys that carry type-level proofs of their own presence.

• miso

  18 2,139 6.2 Haskell void VS miso

  :ramen: A tasty Haskell front-end framework

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

  

• naperian

  0 5 0.0 Haskell void VS naperian

  Efficient representable functors

• map-syntax

  0 7 0.0 Haskell void VS map-syntax

  Syntax sugar and explicit semantics for statically defined maps

• repa-array

  0 132 0.0 Haskell void VS repa-array

  High performance, regular, shape polymorphic parallel arrays.

  

• hoq

  0 82 0.0 Haskell void VS hoq

  A language based on homotopy type theory with an interval

• claferIG

  0 11 3.9 Haskell void VS claferIG

  Support for reasoning on Clafer models by instantiation and counter example generation.

  

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

  

• ixset

  0 16 0.0 Haskell void VS ixset

  A Set type which supports multiple indexes

  

• distributive

  6 41 2.7 Haskell void VS distributive

  Dual Traversable

• data-r-tree

  0 12 4.7 Haskell void VS data-r-tree

  Haskell implementatio of R-Trees