Tie-knot Alternatives

Similar projects and alternatives to tie-knot

• multiset

  0 19 0.0 Haskell tie-knot VS multiset

  multiset haskell package

• justified-containers

  0 79 0.0 Haskell tie-knot VS justified-containers

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

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

  

• bookkeeper

  0 54 0.0 Haskell tie-knot VS bookkeeper
  

• type-level-sets

  0 65 0.0 Haskell tie-knot VS type-level-sets

  Type-level sets for Haskell (with value-level counterparts and various operations)

• fgl

  5 183 6.6 Haskell tie-knot VS fgl

  A Functional Graph Library for Haskell

  

• data-r-tree

  0 12 4.7 Haskell tie-knot VS data-r-tree

  Haskell implementatio of R-Trees

• adjunctions

  1 44 3.3 Haskell tie-knot VS adjunctions

  Simple adjunctions

• 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 tie-knot VS vinyl

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

  

• igraph

  0 7 0.0 Haskell tie-knot VS igraph

  Incomplete Haskell bindings to the igraph library (which is written in C)

• claferIG

  0 11 3.9 Haskell tie-knot VS claferIG

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