HoleyMonoid Alternatives

Similar projects and alternatives to HoleyMonoid

• Agda

  27 2,368 9.8 Haskell HoleyMonoid VS Agda

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

  

• cubical

  0 142 0.0 Haskell HoleyMonoid VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)

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

  

• vinyl

  2 260 0.0 Haskell HoleyMonoid VS vinyl

  Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. (by VinylRecords)

  

• psqueues

  1 63 5.2 Haskell HoleyMonoid VS psqueues

  Priority Search Queues in three different flavors for Haskell

• fgl

  5 183 6.6 Haskell HoleyMonoid VS fgl

  A Functional Graph Library for Haskell

  

• justified-containers

  0 79 0.0 Haskell HoleyMonoid VS justified-containers

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

• repa-array

  0 131 0.0 Haskell HoleyMonoid VS repa-array

  High performance, regular, shape polymorphic parallel arrays.

  

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

  

• containers

  11 313 6.2 Haskell HoleyMonoid VS containers

  Assorted concrete container types (by haskell)

  

• hoq

  0 82 0.0 Haskell HoleyMonoid VS hoq

  A language based on homotopy type theory with an interval

• bookkeeper

  0 54 0.0 Haskell HoleyMonoid VS bookkeeper