Our great sponsors
-
WorkOS
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.
The part I was referring to is https://github.com/ekmett/distributive/blob/7f25d1013403d1c5d507cfbeaab75c0ae188918d/src/Data/HKD/Record/Internal.hs which can be indexed by https://github.com/ekmett/hkd/blob/85cee5aa594b66f2d03d6366df776ced742e4635/src/Data/HKD/Index/Internal.hs#L40
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.