More-containers Alternatives

Similar projects and alternatives to more-containers

• justified-containers

  0 79 0.0 Haskell more-containers VS justified-containers

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

• Haskell

  1 370 0.0 Haskell more-containers VS 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.

  

• Agda

  27 2,371 9.8 Haskell more-containers VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• containers

  11 313 6.0 Haskell more-containers VS containers

  Assorted concrete container types (by haskell)

  

• hevm

  10 2,044 4.8 Haskell more-containers VS hevm

  Dapp, Seth, Hevm, and more

  

• singletons

  2 282 6.3 Haskell more-containers VS singletons

  Fake dependent types in Haskell using singletons

• ethereum-client-haskell

  0 77 0.0 Haskell more-containers VS ethereum-client-haskell

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